QBF Preprocessor Prequel. Samulowitz, H., Davies, J., & Bacchus, F. 2006. available at http://www.cs.toronto.edu/\ fbacchus/sat.htmlPaper bibtex @Misc{Prequel,
Title = {{QBF Preprocessor Prequel}},
Author = {H. Samulowitz and J. Davies and F. Bacchus},
Note = {available at http://www.cs.toronto.edu/\~{}fbacchus/sat.html},
Year = {2006},
Timestamp = {2018.09.23},
Url = {prequel.pdf}
}
Downloads: 0
{"_id":{"_str":"53429c870e946d920a002253"},"__v":19,"authorIDs":["5456ed818b01c81930000075","54578cb42abc8e9f370004eb","546f8b195ac8e5e30d000305"],"author_short":["Samulowitz, H.","Davies, J.","Bacchus, F."],"bibbaseid":"samulowitz-davies-bacchus-qbfpreprocessorprequel-2006","bibdata":{"bibtype":"misc","type":"misc","title":"QBF Preprocessor Prequel","author":[{"firstnames":["H."],"propositions":[],"lastnames":["Samulowitz"],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["Davies"],"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":"prequel.pdf","bibtex":"@Misc{Prequel,\n Title = {{QBF Preprocessor Prequel}},\n\n Author = {H. Samulowitz and J. Davies 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 = {prequel.pdf}\n}\n\n","author_short":["Samulowitz, H.","Davies, J.","Bacchus, F."],"key":"Prequel","id":"Prequel","bibbaseid":"samulowitz-davies-bacchus-qbfpreprocessorprequel-2006","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/prequel.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"misc","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":0,"keywords":[],"search_terms":["qbf","preprocessor","prequel","samulowitz","davies","bacchus"],"title":"QBF Preprocessor Prequel","year":2006,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}