Search
Now showing items 1-1 of 1
Generalized Conflict Learning For Hybrid Discrete Linear Optimization
(2005-05-20)
Conflict-directed search algorithms have formed the core of practical, model-based reasoning systems for the last three decades. In many of these applications there is a series of discrete constraint optimization problems ...