Best-First Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation

Open in new window