10666 search results - page 1602 / 2134 » Quantum programming languages |
141
click to vote
CP
2005
Springer
16 years 14 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...
170
Voted
CP
2005
Springer
16 years 14 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...
178
click to vote
CP
2005
Springer
16 years 14 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...
169
click to vote
CP
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Constraint satisfaction problems provide strong formalism for modeling variety of real life problems. This paper presents a work currently in progress of which the goal i...
158
click to vote
GPCE
2005
Springer
16 years 13 days ago
2005
Springer
Although a feature model can represent commonalities and variabilities in a very concise taxonomic form, features in a feature model are merely symbols. Mapping features to other m...