Realtime Online Solving of Quantified CSPs-Reference-Cited by-同舟云学术

Realtime Online Solving of Quantified CSPs

Published:2009 Issue: Volume: Page:771-786
ISSN:0302-9743
Container-title:Principles and Practice of Constraint Programming - CP 2009
language:
Short-container-title:

Author:

Stynes David,Brown Kenneth N.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04244-7_60

Reference23 articles.

1. Bordeaux, L., Cadoli, M., Mancini, T.: CSP Properties for Quantified Constraints: Definitions and Complexity. In: Proceedings of AAAI, pp. 360–365 (2005)

2. Lecture Notes in Computer Science;F. Börner,2003

3. Gent, I.P., Nightingale, P., Stergiou, K.: QCSP-Solve: A solver for quantified constraint satisfaction problems. In: Proceedings of IJCAI, pp. 138–143 (2005)

4. Nightingale, P.: Consistency and the Quantified Constraint Satisfaction Problem. PhD thesis, University of St Andrews (2007)

5. Lecture Notes in Computer Science;L. Bordeaux,2002

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction Problems;Theoretical Aspects of Computing - ICTAC 2015;2015

2. Integrating Standard Dependency Schemes in QCSP Solvers;Journal of Computer Science and Technology;2012-01

3. Weighted Constraint Satisfaction Problems with Min-Max Quantifiers;2011 IEEE 23rd International Conference on Tools with Artificial Intelligence;2011-11

4. Preferred Explanations for Quantified Constraint Satisfaction Problems;2010 22nd IEEE International Conference on Tools with Artificial Intelligence;2010-10