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]
No references recorded for this publication.
No citations of this publication recorded.