BibTeX record conf/cav/DilligDMA12

download as .bib file

@inproceedings{DBLP:conf/cav/DilligDMA12,
  author    = {Isil Dillig and
               Thomas Dillig and
               Kenneth L. McMillan and
               Alex Aiken},
  title     = {Minimum Satisfying Assignments for {SMT}},
  booktitle = {{CAV}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7358},
  pages     = {394--409},
  publisher = {Springer},
  year      = {2012}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics