Media type: E-Article Title: Lazy Satisfiability Modulo Theories Contributor: Sebastiani, Roberto Published: IOS Press, 2007 Published in: Journal on Satisfiability, Boolean Modeling and Computation, 3 (2007) 3-4, Seite 141-224 Language: Not determined DOI: 10.3233/sat190034 ISSN: 1574-0617 Keywords: Materials Chemistry Origination: Footnote: Access State: Open Access