Best-First vs. Depth-First AND/OR Search for Multi-objective Constraint Optimization | IEEE Conference Publication | IEEE Xplore