Clause Learning Can Effectively P-Simulate General Propositional Resolution. Hertel, P., Bacchus, F., Pitassi, T., & Gelder, A. V. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-2008), pages 283-290, 2008.
Clause Learning Can Effectively P-Simulate General Propositional Resolution [pdf]Paper  bibtex   

Downloads: 0