Partition-Based Logical Reasoning +,
Solving Satisfiability using Decomposition and the Most Constrained Subproblem + Author
Partition-Based Logical Reasoning +,
Solving Satisfiability using Decomposition and the Most Constrained Subproblem + Has author
| Eyal Amir and Sheila A. McIlraith | |