Proofs in satisfiability modulo theories

Clark Barrett, Leonardo De Moura, Pascal Fontaine

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationAll about proofs, Proofs for all
EditorsDavid Delahaye, Bruno Woltzenlogel Paleo
Place of PublicationLondon, UK
PublisherCollege Publications
Pages23-44
StatePublished - Jan 2015

Publication series

NameMathematical Logic and Foundations
Volume55

Cite this

Barrett, C., De Moura, L., & Fontaine, P. (2015). Proofs in satisfiability modulo theories. In D. Delahaye, & B. Woltzenlogel Paleo (Eds.), All about proofs, Proofs for all (pp. 23-44). (Mathematical Logic and Foundations; Vol. 55). London, UK: College Publications.

Proofs in satisfiability modulo theories. / Barrett, Clark; De Moura, Leonardo; Fontaine, Pascal.

All about proofs, Proofs for all. ed. / David Delahaye; Bruno Woltzenlogel Paleo. London, UK : College Publications, 2015. p. 23-44 (Mathematical Logic and Foundations; Vol. 55).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Barrett, C, De Moura, L & Fontaine, P 2015, Proofs in satisfiability modulo theories. in D Delahaye & B Woltzenlogel Paleo (eds), All about proofs, Proofs for all. Mathematical Logic and Foundations, vol. 55, College Publications, London, UK, pp. 23-44.
Barrett C, De Moura L, Fontaine P. Proofs in satisfiability modulo theories. In Delahaye D, Woltzenlogel Paleo B, editors, All about proofs, Proofs for all. London, UK: College Publications. 2015. p. 23-44. (Mathematical Logic and Foundations).
Barrett, Clark ; De Moura, Leonardo ; Fontaine, Pascal. / Proofs in satisfiability modulo theories. All about proofs, Proofs for all. editor / David Delahaye ; Bruno Woltzenlogel Paleo. London, UK : College Publications, 2015. pp. 23-44 (Mathematical Logic and Foundations).
@inproceedings{5023bd4fed084b0a86db466c45b9515d,
title = "Proofs in satisfiability modulo theories",
author = "Clark Barrett and {De Moura}, Leonardo and Pascal Fontaine",
year = "2015",
month = "1",
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",

}

TY - GEN

T1 - Proofs in satisfiability modulo theories

AU - Barrett, Clark

AU - De Moura, Leonardo

AU - Fontaine, Pascal

PY - 2015/1

Y1 - 2015/1

M3 - Conference contribution

T3 - Mathematical Logic and Foundations

SP - 23

EP - 44

BT - All about proofs, Proofs for all

A2 - Delahaye, David

A2 - Woltzenlogel Paleo, Bruno

PB - College Publications

CY - London, UK

ER -