%0 Conference Paper %1 conf/cade/BonacinaGS17 %A Bonacina, Maria Paola %A Graham-Lengrand, Stéphane %A Shankar, Natarajan %B CADE %D 2017 %E de Moura, Leonardo %I Springer %K dblp %P 42-59 %T Satisfiability Modulo Theories and Assignments. %U http://dblp.uni-trier.de/db/conf/cade/cade2017.html#BonacinaGS17 %V 10395 %@ 978-3-319-63046-5

@inproceedings{conf/cade/BonacinaGS17, added-at = {2017-07-12T00:00:00.000+0200}, author = {Bonacina, Maria Paola and Graham-Lengrand, Stéphane and Shankar, Natarajan}, biburl = {https://www.bibsonomy.org/bibtex/2033357ae3b186238f2258da55a371b18/dblp}, booktitle = {CADE}, crossref = {conf/cade/2017}, editor = {de Moura, Leonardo}, ee = {https://doi.org/10.1007/978-3-319-63046-5_4}, interhash = {939902a1b4624d08f4387e1a0680caf3}, intrahash = {033357ae3b186238f2258da55a371b18}, isbn = {978-3-319-63046-5}, keywords = {dblp}, pages = {42-59}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:55:05.000+0200}, title = {Satisfiability Modulo Theories and Assignments.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2017.html#BonacinaGS17}, volume = 10395, year = 2017 }