Sciweavers

27 search results - page 6 / 6
» Cost-Based Arc Consistency for Global Cardinality Constraint...
Sort
View
AIMSA
2008
Springer
14 years 5 hour ago
Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models
Integrated modeling of temporal and logical constraints is important for solving real-life planning and scheduling problems. Logical constrains extend the temporal formalism by rea...
Roman Barták, Ondrej Cepek
CPAIOR
2009
Springer
14 years 6 days ago
Learning How to Propagate Using Random Probing
Abstract. In constraint programming there are often many choices regarding the propagation method to be used on the constraints of a problem. However, simple constraint solvers usu...
Efstathios Stamatatos, Kostas Stergiou