6456 search results - page 162 / 1292 » Constraint Solving on Terms |
170
click to vote
DATE
2007
IEEE
16 years 23 days ago
2007
IEEE
We present a decomposition strategy to speed up constraint optimization for a representative multiprocessor scheduling problem. In the manner of Benders decomposition, our techniq...
179
click to vote
B
2007
Springer
16 years 18 days ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
148
click to vote
SAS
2007
Springer
16 years 16 days ago
2007
Springer
Type constraints express subtype-relationships between the types of program expressions that are required for type-correctness, and were originally proposed as a convenient framewo...
197
click to vote
TABLEAUX
1995
Springer
15 years 10 months ago
1995
Springer
In constraint logic programming, proof procedures for Horn clauses are enhanced with an interface to efficient constraint solvers. In this paper we show how to incorporate constra...
163
click to vote
JSAT
2006
15 years 6 months ago
2006
This paper introduces a new CNF encoding of pseudo-Boolean constraints, which allows unit propagation to maintain generalized arc consistency. In the worst case, the size of the p...