Beyond CNF: A Circuit-Based QBF Solver. Goultiaeva, A., Iverson, V., & Bacchus, F. In Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings, pages 412-426, 2009.
Beyond CNF: A Circuit-Based QBF Solver [link]Link  bibtex   2 downloads  
@InProceedings{DBLP:conf/sat/GoultiaevaIB09,
  Title                    = {Beyond CNF: A Circuit-Based QBF Solver},
  Author                   = {Alexandra Goultiaeva and
 Vicki Iverson and
 Fahiem Bacchus},
  Booktitle                = {Theory and Applications of Satisfiability Testing - SAT
 2009, 12th International Conference, SAT 2009, Swansea,
 UK, June 30 - July 3, 2009. Proceedings},
  Year                     = {2009},
  Pages                    = {412-426},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/978-3-642-02777-2_38},
  Timestamp                = {2018.09.23}
}

Downloads: 2