Browsing by Subject "Hybrid systems"
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 ...