Sciweavers

2861 search results - page 72 / 573
» Constraint Programming
Sort
View
176
Voted
COMPSAC
2011
IEEE
14 years 2 months ago
Conformance Checking with Constraint Logic Programming: The Case of Feature Models
Raúl Mazo, Robert Erick Lopez-Herrejon, Cam...
CORR
2007
Springer
112views Education» more  CORR 2007»
15 years 2 months ago
Adaptive Methods for Linear Programming Decoding
—Detectability of failures of linear programming (LP) decoding and the potential for improvement by adding new constraints motivate the use of an adaptive approach in selecting t...
Mohammad H. Taghavi, Paul H. Siegel
ICLP
1994
Springer
15 years 6 months ago
Entailment of Finite Domain Constraints
Using a glass-box theory of finite domain constraints, FD, we show how the entailment of user-defined constraints can be expressed by antimonotone FD constraints. We also provide a...
Björn Carlson, Mats Carlsson, Daniel Diaz