Iterative forward search algorithm: Combining local search with maintaining arc consistency and a conflict-based statistics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3258, Issue , 2004, Pages 802-

  Müller, Tomáš ^a  

^a CHARLES UNIVERSITY   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING; CONSTRAINT THEORY; ITERATIVE METHODS; LOCAL SEARCH (OPTIMIZATION); OPTIMIZATION;

ARC CONSISTENCY; CONSTRAINT SATISFACTION; DEPTH FIRST SEARCH; LOCAL SEARCH; MAINTAINING ARC CONSISTENCIES; OPTIMIZATION PROBLEMS; SEARCH ALGORITHMS;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 35048836811     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30201-8_81     Document Type: Article

References (2)

1. Narendra Jussien, Romuald Debruyne, and Patrice Boizumault. Maintaining arc-consistency within dynamic backtracking. In Principles and Practice of Constraint Programming, pages 249-261, 2000.
2. Narendra Jussien and Olivier Lhomme. Local search with constraint propagation and conflict-based heuristics. Artificial Intelligence, 139(1):21-45, 2002.