Sciweavers

2974 search results - page 39 / 595
» Model-Driven Constraint Programming
Sort
View
PPDP
2005
Springer
15 years 3 months ago
Timed constraint programming: a declarative approach to usage control
Radha Jagadeesan, Will Marrero, Corin Pitcher, Vij...
SAC
2002
ACM
14 years 9 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
15 years 2 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