1179 search results - page 138 / 236 » Programming in Hybrid Constraint Languages |
132
Voted
CP
2007
Springer
15 years 9 months ago
2007
Springer
Motivated by the performance improvements made to SAT solvers in recent years, a number of different encodings of constraints into SAT have been proposed. Concrete examples are th...
148
Voted
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
120
Voted
IFIP
2000
Springer
15 years 7 months ago
2000
Springer
New non-desktop technologies may turn out to be of a more open and generic nature than traditional information technologies. These technologies consequently pose novel challenges ...
111
click to vote
CP
2007
Springer
15 years 9 months ago
2007
Springer
The typical constraint store transmits a limited amount of information because it consists only of variable domains. We propose a richer constraint store in the form of a limited-w...
106
Voted
CP
2003
Springer
15 years 9 months ago
2003
Springer
We provide a reformulation of the constraint hierarchies (CHs) framework based on the notion of error indicators. Adapting the generalized view of local consistency in semiring-ba...