Implementing Constraint Relaxation over Finite Domains Using Assumption-Based Truth Maintenance Systems
暂无分享,去创建一个
[1] Bjørn N. Freeman-Benson,et al. An incremental constraint solver , 1990, CACM.
[2] Richard J. Wallace,et al. Partial Constraint Satisfaction , 1989, IJCAI.
[3] Johan de Kleer,et al. A Comparison of ATMS and CSP Techniques , 1989, IJCAI.
[4] Johan de Kleer,et al. An Assumption-Based TMS , 1987, Artif. Intell..
[5] Alan Borning,et al. Hierarchical Constraint Logic Programming , 1994, J. Log. Program..
[6] Pascal Van Hentenryck. Incremental Constraint Satisfaction in Logic Programming , 1990, ICLP.
[7] Michael J. Maher,et al. Constraint Hierarchies and Logic Programming , 1989, ICLP.
[8] David Gilbertdrg. Fair Hierarchical Constraint Logic Programming , 1989 .
[9] Patrice Boizumault,et al. Efficient labeling and Constraint Relaxation for Solving Time Tabling Problems , 1994 .
[10] Philippe Codognet,et al. An Incremental Hierarchical Constraint Solver , 1993, PPCP.
[11] Christian Bessiere,et al. Arc-Consistency in Dynamic Constraint Satisfaction Problems , 1991, AAAI.
[12] Pascal Van Hentenryck,et al. A Generic Arc-Consistency Algorithm and its Specializations , 1992, Artif. Intell..
[13] J. Dekleer. An assumption-based TMS , 1986 .
[14] François Fages,et al. A Reactive Constraint Logic Programming Scheme , 1995, ICLP.
[15] François Fages,et al. Handling Preferences in Constraint Logic Programming with Relational Optimization , 1994, PLILP.