Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report)

Eyal Amir, Sheila Mcllraith. Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report). Electronic Notes in Discrete Mathematics, 9:329-343, 2001. [doi]

Bibliographies