Foundations of Satisfiability Modulo Theories

DOI10.1007/978-3-642-13824-9_6zbMath1253.03034OpenAlexW2138414118MaRDI QIDQ4931590

Cesare Tinelli

Publication date: 29 September 2010

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13824-9_6

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

This page was built for publication: Foundations of Satisfiability Modulo Theories