%0 Conference Paper %1 conf/cav/DilligDMA12 %A Dillig, Isil %A Dillig, Thomas %A McMillan, Kenneth L. %A Aiken, Alex %B CAV %D 2012 %E Madhusudan, P. %E Seshia, Sanjit A. %I Springer %K dblp %P 394-409 %T Minimum Satisfying Assignments for SMT. %U http://dblp.uni-trier.de/db/conf/cav/cav2012.html#DilligDMA12 %V 7358 %@ 978-3-642-31423-0

@inproceedings{conf/cav/DilligDMA12, added-at = {2018-10-03T00:00:00.000+0200}, author = {Dillig, Isil and Dillig, Thomas and McMillan, Kenneth L. and Aiken, Alex}, biburl = {https://www.bibsonomy.org/bibtex/22910ed2af1cea4d3c5fe9a9cbbaf1318/dblp}, booktitle = {CAV}, crossref = {conf/cav/2012}, editor = {Madhusudan, P. and Seshia, Sanjit A.}, ee = {https://doi.org/10.1007/978-3-642-31424-7_30}, interhash = {06a41f54fda4a15bd18fb05f0946e9ed}, intrahash = {2910ed2af1cea4d3c5fe9a9cbbaf1318}, isbn = {978-3-642-31423-0}, keywords = {dblp}, pages = {394-409}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:38:32.000+0200}, title = {Minimum Satisfying Assignments for SMT.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2012.html#DilligDMA12}, volume = 7358, year = 2012 }