104 search results - page 8 / 21 » A Domain Consistency Algorithm for the Stretch Constraint |
SAC
2010
ACM
14 years 22 days ago
2010
ACM
The canonical algorithm to enforce box consistency over a constraint relies on a dichotomic process to isolate the leftmost and rightmost solutions. We identify some weaknesses of...
IJCAI
2007
13 years 8 months ago
2007
In an Arc Consistency (AC) algorithm, a residual support, or residue, is a support that has been stored during a previous execution of the procedure which determines if a value is ...
CP
2010
Springer
13 years 6 months ago
2010
Springer
A new interval constraint propagation algorithm, called MOnotonic Hull Consistency (Mohc), has recently been proposed. Mohc exploits monotonicity of functions to better filter var...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
We propose ALLDIFFPREC, a new global constraint that combines together an ALLDIFFERENT constraint with precedence constraints that strictly order given pairs of variables. We ident...
DATE
2009
IEEE
13 years 11 months ago
2009
IEEE
This paper explores runtime reconfiguration of custom instructions in the context of multi-tasking real-time embedded systems. We propose a pseudo-polynomial time algorithm that mi...