Approximation Techniques for Automated Reasoning Irina Rish IBM T.J.Watson Research Center [email protected] Rina Dechter University of California, Irvine.
Approximation Techniques for Automated Reasoning