Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.
Issue title: Satisfiability Modulo Theories
Guest editors: Byron Cook and Roberto Sebastiani
Article type: Editorial
Authors: Cook, Byrona | Sebastiani, Robertob
Affiliations: [a] Microsoft Research. E-mail: bycook@microsoft.com | [b] Università di Trento. E-mail: roberto.sebastiani@dit.unitn.it
DOI: 10.3233/SAT190027
Journal: Journal on Satisfiability, Boolean Modeling and Computation, vol. 3, no. 1-2, pp. 19-19, 2007