QBF Solver 2clsQ. Samulowitz, H. & Bacchus, F. 2006. available at http://www.cs.toronto.edu/\ fbacchus/sat.html
![QBF Solver 2clsQ [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex 1 download
Paper bibtex 1 download @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}
}Downloads: 1
{"_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":{}},"downloads":1,"html":""},"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"]}