@INPROCEEDINGS{MPB-SGL-NS:CADE2017:CDSAT, AUTHOR = "Maria Paola Bonacina and St{\'e}phane Graham-Lengrand and Natarajan Shankar", TITLE = "Satisfiability modulo theories and assignments", BOOKTITLE = "Proceedings of the 26th Conference on Automated Deduction (CADE)", EDITOR = "Leonardo {de Moura}", SERIES = "Lecture Notes in Artificial Intelligence", VOLUME = 10395, PAGES = "42--59", PUBLISHER = "Springer", MONTH = "August", DOI = "10.1007/978-3-319-63046-5_4", YEAR = 2017}