LSVF: a New Search Heuristic to Reduce the Backtracking Calls for Solving Constraint Satisfaction Problem
暂无分享,去创建一个
Ryan Ribeiro de Azevedo | Fred Freitas | Eric Rommel Galvao Dantas | Cleyton Mario de Oliveira Rodrigues | F. Freitas | C. Rodrigues | R. Azevedo | Eric Rommel Galvão Dantas
[1] Peter J. Stuckey,et al. The Refined Operational Semantics of Constraint Handling Rules , 2004, ICLP.
[2] Henry A. Kautz,et al. Constraint propagation algorithms for temporal reasoning: a revised report , 1989 .
[3] F. Fages,et al. Modular CHR with ask and tell , 2008 .
[4] SWI-Prolog 5.6 Reference Manual , 2004 .
[5] Chris N. Potts,et al. Constraint satisfaction problems: Algorithms and applications , 1999, Eur. J. Oper. Res..
[6] Evelina Lamma,et al. Integrating Abduction and Constraint Optimization in Constraint Handling Rules , 2008, European Conference on Artificial Intelligence.
[7] Slim Abdennadher,et al. Chr _ : a Flexible Query Language , 2022 .
[8] Slim Abdennadher,et al. Confluence and Semantics of Constraint Simplification Rules , 2004, Constraints.
[9] Thom W. Frühwirth. Welcome to Constraint Handling Rules , 2008, Constraint Handling Rules.
[10] Armin Wolf,et al. Intelligent search strategies based on adaptive Constraint Handling Rules , 2004, Theory and Practice of Logic Programming.
[11] Robin Thomas,et al. The Four-Colour Theorem , 1997, J. Comb. Theory, Ser. B.