Binary Clause Reasoning in QBF. Samulowitz, H. & Bacchus, F. In Proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing (SAT-2006), pages 353-367, 2006.
Binary Clause Reasoning in QBF [pdf]Paper  Binary Clause Reasoning in QBF [link]Link  bibtex   

Downloads: 0