850 search results - page 65 / 170 » Constraint propagation on quadratic constraints |
186
click to vote
ICLP
2009
Springer
16 years 13 days ago
2009
Springer
We present an implementation of table constraints in CLP(FD). For binary constraints, the supports of each value are represented as a finite-domain variable, and action rules are u...
113
click to vote
CP
1995
Springer
15 years 3 months ago
1995
Springer
Object-based knowledge representation systems bene t from the declarative power of the object formalism for modeling, organizing and storing large amounts of knowledge. They also ...
CONSTRAINTS
2010
14 years 12 months ago
2010
Abstract. We present three constraint models of the problem of finding a graceful labelling of a graph, or proving that the graph is not graceful. An experimental comparison of the...
120
click to vote
CONSTRAINTS
2011
14 years 6 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...
102
click to vote
ITC
2003
IEEE
15 years 5 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...