1 Constraints and Logic Programming All problems involving finite domains (including booleans, and sets) may be solved, in principle, with logic programming.
College 2 18-2014
Approximation Techniques for Automated Reasoning Irina Rish IBM T.J.Watson Research Center [email protected] Rina Dechter University of California, Irvine.
Hybrid of search and inference: time-space tradeoffs chapter 10
Approximation Techniques for Automated Reasoning
Artificial Intelligence