6 citations · 10 across the 3 of their papers we have counts for
3 papers
cs.LO2004
A CHR-based Implementation of Known Arc-Consistency
Marco Alberti, Marco Gavanelli, Evelina Lamma +2
In classical CLP(FD) systems, domains of variables are completely known at the beginning of the constraint propagation process. However, in systems interacting with an external env…
cs.AI2004★ 4 cited
Postponing Branching Decisions
Willem Jan van Hoeve, Michela Milano
Solution techniques for Constraint Satisfaction and Optimisation Problems often make use of backtrack search methods, exploiting variable and value ordering heuristics. In this pap…
cs.AI2004★ 6 cited
Decomposition Based Search - A theoretical and experimental evaluation
W. J. van Hoeve, M. Milano
In this paper we present and evaluate a search strategy called Decomposition Based Search (DBS) which is based on two steps: subproblem generation and subproblem solution. The gene…