10 citations · 10 across the 1 of their papers we have counts for
1 paper · 1 filter
L. Michel, P. Van Hentenryck
Robust search procedures are a central component in the design of black-box constraint-programming solvers. This paper proposes activity-based search, the idea of using the activit…