L. Bordeaux and E. Monfroy, `Beyond NP: Arc-consistency for quantified constraints', in Proc. CP-2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Constraint-Propagation Approach to Quantified Constraints - Bordeaux Self-citation (Bordeaux) (Correct)
No context found.
L. Bordeaux and E. Monfroy. Beyond NP: Arc-consistency for quantified constraints. In P. Van Hentenryck, editor, Proc. of the 8th Int. Conf. on Principles and Practice of Constraint Programming (CP), LNCS, Ithaca, USA, 2002. Springer. To appear.
Encoding Quantified CSPs as Quantified Boolean Formulae - Gent, Nightingale, Rowley (2004) (Correct)
No context found.
L. Bordeaux and E. Monfroy, `Beyond NP: Arc-consistency for quantified constraints', in Proc. CP-2002.
Solving Existentially Quantified Constraints with One Equality.. - Ratschan (Correct)
No context found.
L. Bordeaux and E. Monfroy. Beyond NP: Arc-consistency for quantified constraints. In P. V. Hentenryck, editor, Proc. of Principles and Practice of Constraint Programming (CP 2002), number 2470 in LNCS. Springer, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC