Return to Article Details Best-First Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation Download Download PDF