@Misc{2clsQ,
  Title                    = {{QBF Solver 2clsQ}},

  Author                   = {H. Samulowitz and F. Bacchus},
  Note                     = {available at http://www.cs.toronto.edu/\~{}fbacchus/sat.html},
  Year                     = {2006},

  Timestamp                = {2018.09.23},
  Url                      = {2clsQ.pdf}
}

{"_id":{"_str":"53429c870e946d920a002258"},"__v":13,"authorIDs":["5456ed818b01c81930000075","54578cb42abc8e9f370004eb"],"author_short":["Samulowitz, H.","Bacchus, F."],"bibbaseid":"samulowitz-bacchus-qbfsolver2clsq-2006","bibdata":{"bibtype":"misc","type":"misc","title":"QBF Solver 2clsQ","author":[{"firstnames":["H."],"propositions":[],"lastnames":["Samulowitz"],"suffixes":[]},{"firstnames":["F."],"propositions":[],"lastnames":["Bacchus"],"suffixes":[]}],"note":"available at http://www.cs.toronto.edu/̃fbacchus/sat.html","year":"2006","timestamp":"2018.09.23","url":"2clsQ.pdf","bibtex":"@Misc{2clsQ,\n Title = {{QBF Solver 2clsQ}},\n\n Author = {H. Samulowitz and F. Bacchus},\n Note = {available at http://www.cs.toronto.edu/\\~{}fbacchus/sat.html},\n Year = {2006},\n\n Timestamp = {2018.09.23},\n Url = {2clsQ.pdf}\n}\n\n","author_short":["Samulowitz, H.","Bacchus, F."],"key":"2clsQ","id":"2clsQ","bibbaseid":"samulowitz-bacchus-qbfsolver2clsq-2006","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/2clsQ.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"misc","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":1,"keywords":[],"search_terms":["qbf","solver","2clsq","samulowitz","bacchus"],"title":"QBF Solver 2clsQ","year":2006,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}