4 citations · 4 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
Reduced cost-based ranking for generating promising subproblems
M. Milano, W. J. van Hoeve
In this paper, we propose an effective search procedure that interleaves two steps: subproblem generation and subproblem solution. We mainly focus on the first part. It consists of…
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…