Mini-Buckets: A General Scheme for Generating Approximations in Automated Reasoning.

Rina Dechter

Browse the full IJCAI paper archive.