论文信息 - An Incremental Hierarchical Constraint Solver - 字舞流文

An Incremental Hierarchical Constraint Solver

Philippe Codognet | Pedro Barahona | Francisco Menezes

[1] Alan K. Mackworth. Consistency in Networks of Relations , 1977, Artif. Intell..

[2] Alan Borning,et al. Extending Hierarchical Constraint Logic Programming: Nonmonotonicity and Inter-Hierarchy Comparison , 1989, NACLP.

[3] Gilberto Filé,et al. Yet Another Intelligent Backtracking Method , 1988, ICLP/SLP.

[4] Philippe Codognet,et al. Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking , 1989, ICLP.

[5] Luís Moniz Pereira,et al. Deduction Revision by Intelligent Backtracking , 1984, Implementations of Prolog.

[6] Vipin Kumar,et al. Algorithms for Constraint-Satisfaction Problems: A Survey , 1992, AI Mag..

[7] Pascal Van Hentenryck,et al. A Generic Arc-Consistency Algorithm and its Specializations , 1992, Artif. Intell..