Media type: E-Article Title: Lecture Notes in Computer Science: Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories Contributor: Niemetz, Aina; Preiner, Mathias; Biere, Armin Published: Springer International Publishing, 2016 Published in: Lecture Notes in Computer Science (2016), Seite 199-217 Language: English DOI: 10.1007/978-3-319-41528-4_11 ISBN: 9783319415277; 9783319415284 ISSN: 0302-9743; 1611-3349 Origination: Footnote: