@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 Twenty-Sixth Conference on Automated Deduction (CADE)",
EDITOR = "Leonardo {de Moura}",
SERIES = "Lecture Notes in Artificial Intelligence",
VOLUME = 10395,
PAGES = "42--59",
PUBLISHER = "Springer",
MONTH = "August",
YEAR = 2017}