QBF Preprocessor Prequel. Samulowitz, H., Davies, J., & Bacchus, F. 2006. available at http://www.cs.toronto.edu/̃fbacchus/sat.html
QBF Preprocessor Prequel [pdf]Paper  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