VSL 2014: VIENNA SUMMER OF LOGIC 2014

A Model-Constructing Satisfiability Calculus

Authors: Leonardo De Moura and Dejan Jovanović

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:A Model-Constructing Satisfiability Calculus
Authors:Leonardo De Moura and Dejan Jovanović
Proceedings:SAT 2014 LNCS Proceedings
Editors: Carsten Sinz and Uwe Egly
Keywords:
Abstract:
Pages:1
Talk:Jul 16 14:30
Paper:
Disclaimer | Powered by EasyChair Smart Program