Sciweavers

2864 search results - page 34 / 573
» Constraint Programming in OPL
Sort
View
SAC
2002
ACM
13 years 7 months ago
Soft constraint propagation and solving in CHRs
Soft constraints are a generalization of classical constraints, where constraints and/or partial assignments are associated to preference or importance levels, and constraints are...
Stefano Bistarelli, Thom W. Frühwirth, Michae...
WLP
2005
Springer
14 years 1 months ago
Meta-S - Combining Solver Cooperation and Programming Languages
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
Stephan Frank, Petra Hofstedt, Dirk Reckmann
CP
2007
Springer
14 years 1 months ago
Decomposing Global Grammar Constraints
Claude-Guy Quimper, Toby Walsh