@inproceedings{ sat01,
  author    = {E. Amir and Sheila A. McIlraith and Henry Kautz and Bart Selman},
  title     = {Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report)},
  series   = {Electronics Notes in Discrete Mathematics},
  booktitle   = {Proceedings of LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT 2001)},
  month   = {June 14-15},
  url   = {sat01.pdf} ,
  year   = {2001}
}

{"_id":{"_str":"53422921efd74afa0900000b"},"__v":34,"authorIDs":["5456dccd8b01c81930000008","5457cdbc2abc8e9f3700075e","5457d8d22abc8e9f370007f7"],"author_short":["Amir, E.","McIlraith, S. A.","Kautz, H.","Selman, B."],"bibbaseid":"amir-mcilraith-kautz-selman-solvingsatisfiabilityusingdecompositionandthemostconstrainedsubproblempreliminaryreport-2001","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["E."],"propositions":[],"lastnames":["Amir"],"suffixes":[]},{"firstnames":["Sheila","A."],"propositions":[],"lastnames":["McIlraith"],"suffixes":[]},{"firstnames":["Henry"],"propositions":[],"lastnames":["Kautz"],"suffixes":[]},{"firstnames":["Bart"],"propositions":[],"lastnames":["Selman"],"suffixes":[]}],"title":"Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report)","series":"Electronics Notes in Discrete Mathematics","booktitle":"Proceedings of LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT 2001)","month":"June 14-15","url":"sat01.pdf","year":"2001","bibtex":"@inproceedings{ sat01,\n author = {E. Amir and Sheila A. McIlraith and Henry Kautz and Bart Selman},\n title = {Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report)},\n series = {Electronics Notes in Discrete Mathematics},\n booktitle = {Proceedings of LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT 2001)},\n month = {June 14-15},\n url = {sat01.pdf} ,\n year = {2001}\n}\n\n\n","author_short":["Amir, E.","McIlraith, S. A.","Kautz, H.","Selman, B."],"key":"sat01","id":"sat01","bibbaseid":"amir-mcilraith-kautz-selman-solvingsatisfiabilityusingdecompositionandthemostconstrainedsubproblempreliminaryreport-2001","role":"author","urls":{"Paper":"http://data.bibbase.org/author/e-amir/sat01.pdf"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/e-amir/?format=bibtex","downloads":0,"keywords":[],"search_terms":["solving","satisfiability","using","decomposition","constrained","subproblem","preliminary","report","amir","mcilraith","kautz","selman"],"title":"Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report)","year":2001,"dataSources":["aHjLRP5X4bhCciMAJ"]}