Dynamically Partitioning for Solving QBF. Samulowitz, H. & Bacchus, F. In Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings, pages 215-229, 2007.
Dynamically Partitioning for Solving QBF [link]Link  bibtex   2 downloads  
@InProceedings{DBLP:conf/sat/SamulowitzB07,
  Title                    = {Dynamically Partitioning for Solving QBF},
  Author                   = {Horst Samulowitz and
 Fahiem Bacchus},
  Booktitle                = {Theory and Applications of Satisfiability Testing - SAT
 2007, 10th International Conference, Lisbon, Portugal, May
 28-31, 2007, Proceedings},
  Year                     = {2007},
  Pages                    = {215-229},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/978-3-540-72788-0_22},
  Timestamp                = {2018.09.23}
}

Downloads: 2