AbsCon: A Prototype to Solve CSPs with Abstraction
暂无分享,去创建一个
Christophe Lecoutre | Frédéric Boussemart | Sylvain Merchez | Christophe Lecoutre | F. Boussemart | Sylvain Merchez
[1] Patrick Cousot,et al. Abstract Interpretation Frameworks , 1992, J. Log. Comput..
[2] Christian Bessiere,et al. MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems , 1996, CP.
[3] Francesca Rossi,et al. An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation , 2000, SARA.
[4] Christian Bessiere,et al. Non-Binary Constraints , 1999, CP.
[5] Alan K. Mackworth. Consistency in Networks of Relations , 1977, Artif. Intell..
[6] Thomas Ellman,et al. Abstraction via Approximate Symmetry , 1993, IJCAI.
[7] Rina Dechter,et al. Look-Ahead Value Ordering for Constraint Satisfaction Problems , 1995, IJCAI.
[8] Robert M. Haralick,et al. Increasing Tree Search Efficiency for Constraint Satisfaction Problems , 1979, Artif. Intell..
[9] Martin E. Dyer,et al. Locating the Phase Transition in Binary Constraint Satisfaction Problems , 1996, Artif. Intell..
[10] Douglas C. Schmidt,et al. Implementing application frameworks: object-oriented frameworks at work , 1999 .
[11] Andy Hon,et al. Constraint Programming in Java with JSolver , 1999 .
[12] Andy Hon,et al. Waltz Filtering in Java with JSolver , 1999 .
[13] Patrick Prosser,et al. An Empirical Study of Phase Transitions in Binary Constraint Satisfaction Problems , 1996, Artif. Intell..
[14] Éric Grégoire,et al. A CSP Abstraction Framework , 2000, SARA.
[15] Boi Faltings,et al. Distributing problem solving on the Web using constraint technology , 1998, Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence (Cat. No.98CH36294).
[16] David L. Waltz,et al. Understanding Line drawings of Scenes with Shadows , 1975 .
[17] Yves Caseau. Abstract Interpretation of Constraints on Order-Sorted Domains , 1991, ISLP.