Author Eyal Amir and Sheila A. McIlraith
From Tetherless World Wiki
A list of all pages that have property "Author" with value "Eyal Amir and Sheila A. McIlraith"- Partition-Based Logical Reasoning +
- Solving Satisfiability using Decomposition and the Most Constrained Subproblem +
