Subject
General Computer Science,Theoretical Computer Science
Reference27 articles.
1. Arc-consistency and arc-consistency again;Bessière;Artificial Intelligence,1994
2. C. Bessière. A fast algorithm to establish arc-consistency in constraint networks. Technical Report TR-94-003, LIRMM Université de Montpellier II, January 1994.
3. C. Bessière, and J.-C. Régin. An arc-consistency algorithm optimal in the number of constraint checks. In Proceedings of the Workshop on Constraint Processing, ECAI'94, Amsterdam, The Netherlands, pages 9–16, 1994.
4. New Programming Languages for Artificial Intelligence Research;Bobrow;Computing Surveys,1974
5. On Canonical Forms and Simplification;Caviness;Journal of the ACM,1970
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. OCSH;Proceedings of the 8th International Conference on Information Systems and Technologies - ICIST '18;2018
2. Rewriting Logic and Probabilities;Rewriting Techniques and Applications;2003
3. Rewriting logic: roadmap and bibliography;Theoretical Computer Science;2002-08
4. COLETTE, prototyping CSP solvers using a rule-based language;Artificial Intelligence and Symbolic Computation;1998
5. ELAN;Electronic Notes in Theoretical Computer Science;1996