10575 search results - page 1574 / 2115 » T2Script Programming Language |
153
click to vote
CP
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations ...
167
click to vote
CP
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. Subquadrangles are a natural way in which to represent constraints as they do not restrict any subset of their scope. There are already known methods for converting any g...
148
click to vote
CP
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. We present an incomplete filtering algorithm for the circuit constraint. The filter removes redundant values by eliminating nonHamiltonian edges from the associated gra...
176
click to vote
CP
2005
Springer
16 years 20 days ago
2005
Springer
We present a method for propagating linear constraints. Our technique exploits the fact that the interior point method converges on a central point of the polytope. A variable assi...
186
click to vote
CP
2005
Springer
16 years 20 days ago
2005
Springer
When the search for a solution to a constraint satisfaction problem backtracks, it is not usually worthwhile to remember the assignment that failed, because the same assignment wil...