Sciweavers

66 search results - page 1 / 14
» cp 2010
Sort
View
CP
2010
Springer
13 years 2 months ago
Sweeping with Continuous Domains
Gilles Chabert, Nicolas Beldiceanu
CP
2010
Springer
13 years 2 months ago
Using Learnt Clauses in maxsat
Jessica Davies, Jeremy Cho, Fahiem Bacchus
CP
2010
Springer
13 years 2 months ago
Including Ordinary Differential Equations Based Constraints in the Standard CP Framework
Coupling constraints and ordinary differential equations has numerous applications. This paper shows how to introduce constraints involving ordinary differential equations into the...
Alexandre Goldsztejn, Olivier Mullier, Damien Evei...