86 search results - page 3 / 18 » Entailment of Finite Domain Constraints |
ENASE
2011
2011
Transforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains
12 years 7 months ago
CP
2005
Springer
14 years 1 months ago
2005
Springer
JUCS
2006
13 years 7 months ago
2006
This paper presents a parameterized schema for interval constraint branching that (with suitable instantiations of the parameters) can solve interval constraint satisfaction probl...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...
CP
2004
Springer
14 years 1 months ago
2004
Springer
In CP literature combinatorial design problems such as sport scheduling, Steiner systems, error-correcting codes and more, are typically solved using Finite Domain (FD) models desp...