@inproceedings{DBLP:conf/sat/KhurshidMSJ03,
  author    = {Sarfraz Khurshid and
               Darko Marinov and
               Ilya Shlyakhter and
               Daniel Jackson},
  title     = {A Case for Efficient Solution Enumeration},
  booktitle = {Theory and Applications of Satisfiability Testing, 6th International
               Conference, SAT 2003. Santa Margherita Ligure, Italy, May
               5-8, 2003 Selected Revised Papers},
  year      = {2003},
  pages     = {272-286},
url_paper={pubs/2003/testera_SAT03.pdf}
}

{"_id":"kdHHZPaZBirqkFXgj","bibbaseid":"khurshid-marinov-shlyakhter-jackson-acaseforefficientsolutionenumeration-2003","author_short":["Khurshid, S.","Marinov, D.","Shlyakhter, I.","Jackson, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Sarfraz"],"propositions":[],"lastnames":["Khurshid"],"suffixes":[]},{"firstnames":["Darko"],"propositions":[],"lastnames":["Marinov"],"suffixes":[]},{"firstnames":["Ilya"],"propositions":[],"lastnames":["Shlyakhter"],"suffixes":[]},{"firstnames":["Daniel"],"propositions":[],"lastnames":["Jackson"],"suffixes":[]}],"title":"A Case for Efficient Solution Enumeration","booktitle":"Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers","year":"2003","pages":"272-286","url_paper":"pubs/2003/testera_SAT03.pdf","bibtex":"@inproceedings{DBLP:conf/sat/KhurshidMSJ03,\n author = {Sarfraz Khurshid and\n Darko Marinov and\n Ilya Shlyakhter and\n Daniel Jackson},\n title = {A Case for Efficient Solution Enumeration},\n booktitle = {Theory and Applications of Satisfiability Testing, 6th International\n Conference, SAT 2003. Santa Margherita Ligure, Italy, May\n 5-8, 2003 Selected Revised Papers},\n year = {2003},\n pages = {272-286},\nurl_paper={pubs/2003/testera_SAT03.pdf}\n}\n\n","author_short":["Khurshid, S.","Marinov, D.","Shlyakhter, I.","Jackson, D."],"key":"DBLP:conf/sat/KhurshidMSJ03","id":"DBLP:conf/sat/KhurshidMSJ03","bibbaseid":"khurshid-marinov-shlyakhter-jackson-acaseforefficientsolutionenumeration-2003","role":"author","urls":{" paper":"https://groups.csail.mit.edu/sdg/pubs/2003/testera_SAT03.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://groups.csail.mit.edu/sdg/sdgpub.bib","dataSources":["t9Kc2YBfktMvKserb"],"keywords":[],"search_terms":["case","efficient","solution","enumeration","khurshid","marinov","shlyakhter","jackson"],"title":"A Case for Efficient Solution Enumeration","year":2003}