On the forward checking algorithm-Reference-Cited by-同舟云学术

On the forward checking algorithm

Published:1995 Issue: Volume: Page:292-309
ISSN:0302-9743
Container-title:Principles and Practice of Constraint Programming — CP '95
language:
Short-container-title:

Author:

Bacchus Fahiem,Grove Adam

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60299-2_18.pdf

Reference15 articles.

1. J. R. Bitner and Reingold E. Backtracking programming techniques. Communications of the ACM, 18(11):651–656, 1975.

2. Fahiem Bacchus and Paul van Run. Dynamic variable reordering in CSPs. In First International Conference on Principles and Practice of Constraint Programming (CP95), 1995.

3. Peter Cheeseman, Bob Kanefsky, and Willian M. Taylor. Where the really hard problems are. In Procceedings of the International Joint Conference on Artifical Intelligence (IJCAI), pages 331–337, 1991.

4. M. J. Dent and R. E. Mercer. Minimal forward checking. In 6th IEEE International Conference on Tools with Artificial Intelligence, pages 432–438, New Orleans, 1994. Available via anonymous ftp from ftp://csd.uwo.ca/pub/csd-technical-reports/374/tai94.ps.z.

5. Daniel Frost and Rina Dechter. In search of the best constraint satisfaction search. In Proceedings of the AAAI National Conference, pages 301–306, 1994.

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

1. New checker for constraint network solutions;Proceedings of the 2nd international Conference on Big Data, Cloud and Applications;2017-03-29

2. CSP Solving Algorithms;Constraint Satisfaction Problems;2013-02-20

3. Consistency Reinforcement Techniques;Constraint Satisfaction Problems;2013-02-20

4. Hybrid solving algorithms for an extended dynamic constraint satisfaction problem based configuration system;Concurrent Engineering;2012-08-28

5. Efficient algorithms for spatial configuration information retrieval;Knowledge-Based Systems;2009-08