Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report). Amir, E., McIlraith, S. A., Kautz, H., & Selman, B. In Proceedings of LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT 2001), of Electronics Notes in Discrete Mathematics, June 14-15, 2001.
Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report) [pdf]Paper  bibtex   

Downloads: 0