Sciweavers

27 search results - page 6 / 6
» Cost-Based Arc Consistency for Global Cardinality Constraint...
Sort
View
AIMSA
2008
Springer
16 years 10 days 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
16 years 17 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