226 search results - page 4 / 46 » GAC on Conjunctions of Constraints |
DBPL
2007
Springer
13 years 11 months ago
2007
Springer
TOCL
2008
13 years 7 months ago
2008
CP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. A common type of symmetry is when both variables and values partition into interchangeable sets. Polynomial methods have been introduced to eliminate all symmetric soluti...
DBPL
2001
Springer
14 years 3 days ago
2001
Springer
Abstract. We are interested in the theoretical foundations of the optimization of conjunctive regular path queries (CRPQs). The basic problem here is deciding query containment bot...
CP
2010
Springer
13 years 6 months ago
2010
Springer
Given an arbitrary constraint c on n variables with domain size d, we show how to generate a custom propagator that establishes GAC in time O(nd) by precomputing the propagation th...