@Misc{SQBF,
  Title                    = {{QBF Solver SQBF}},

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

  Timestamp                = {2018.09.23},
  Url                      = {SQBF.pdf}
}

{"_id":{"_str":"53429c870e946d920a002256"},"__v":13,"authorIDs":["5456ed818b01c81930000075","54578cb42abc8e9f370004eb"],"author_short":["Samulowitz, H.","Bacchus, F."],"bibbaseid":"samulowitz-bacchus-qbfsolversqbf-2006","bibdata":{"bibtype":"misc","type":"misc","title":"QBF Solver SQBF","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":"SQBF.pdf","bibtex":"@Misc{SQBF,\n Title = {{QBF Solver SQBF}},\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 = {SQBF.pdf}\n}\n\n","author_short":["Samulowitz, H.","Bacchus, F."],"key":"SQBF","id":"SQBF","bibbaseid":"samulowitz-bacchus-qbfsolversqbf-2006","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/SQBF.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"misc","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":0,"keywords":[],"search_terms":["qbf","solver","sqbf","samulowitz","bacchus"],"title":"QBF Solver SQBF","year":2006,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}