2 search results - page 1 / 1 » Computing Explanations for the Unary Resource Constraint |
CPAIOR
2005
Springer
13 years 10 months ago
2005
Springer
Integration of explanations into a CSP solver is a technique addressing difficult question “why my problem has no solution”. Moreover, explanations together with advanced searc...
CONSTRAINTS
2011
12 years 11 months ago
2011
We introduce a novel global constraint for the total weighted completion time of activities on a single unary capacity resource. For propagating the constraint, we propose an O(n4...