@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}