Sciweavers

850 search results - page 66 / 170
» Constraint propagation on quadratic constraints
Sort
View
AI
2008
Springer
13 years 9 months ago
Generalised arc consistency for the AllDifferent constraint: An empirical survey
The AllDifferent constraint is a crucial component of any constraint toolkit, language or solver, since it is very widely used in a variety of constraint models. The literature con...
Ian P. Gent, Ian Miguel, Peter Nightingale
CPAIOR
2007
Springer
14 years 3 months ago
A Global Constraint for Total Weighted Completion Time
We introduce a novel global constraint for the total weighted completion time of activities on a single unary capacity resource. For propagating the constraint, an O(n4 ) algorithm...
András Kovács, J. Christopher Beck
AIME
2003
Springer
14 years 2 months ago
Constraint Reasoning in Deep Biomedical Models
Objective: Deep biomedical models are often expressed by means of differential equations. Despite their expressive power, they are difficult to reason about and make decisions, g...
Jorge Cruz, Pedro Barahona
CP
2008
Springer
13 years 10 months ago
Optimization of Simple Tabular Reduction for Table Constraints
Abstract. Table constraints play an important role within constraint programming. Recently, many schemes or algorithms have been proposed to propagate table constraints or/and to c...
Christophe Lecoutre
IJAIT
2008
99views more  IJAIT 2008»
13 years 9 months ago
Optimal Basic Block Instruction Scheduling for Multiple-Issue Processors Using Constraint Programming
Instruction scheduling is one of the most important steps for improving the performance of object code produced by a compiler. A fundamental problem that arises in instruction sch...
Abid M. Malik, Jim McInnes, Peter van Beek