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]

Authors

Eyal Amir

This author has not been identified. Look up 'Eyal Amir' in Google

Sheila Mcllraith

This author has not been identified. Look up 'Sheila Mcllraith' in Google