Proofs in satisfiability modulo theories

Clark Barrett, Leonardo De Moura, Pascal Fontaine

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	All about proofs, Proofs for all
Editors	David Delahaye, Bruno Woltzenlogel Paleo
Place of Publication	London, UK
Publisher	College Publications
Pages	23-44
State	Published - Jan 2015

Name	Mathematical Logic and Foundations
Volume	55

Cite this

@inproceedings{5023bd4fed084b0a86db466c45b9515d,

title = "Proofs in satisfiability modulo theories",

author = "Clark Barrett and {De Moura}, Leonardo and Pascal Fontaine",

year = "2015",

month = jan,

language = "English (US)",

series = "Mathematical Logic and Foundations",

publisher = "College Publications",

pages = "23--44",

editor = "Delahaye, {David } and {Woltzenlogel Paleo}, Bruno",

booktitle = "All about proofs, Proofs for all",

}