Maintaining arc-consistency within dynamic backtracking

DOI10.1007/3-540-45349-0_19MaRDI QIDQ4473030zbMATH OpenFDO

Authors Narendra Jussien, R. Debruyne, Patrice Boizumault

Publication date 4 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1894/18940249.htm

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Conflict-directed backjumping revisited
• Saving support-checks does not always save time
• Maintaining Arc Consistency Algorithms During the Search Without Additional Space Cost
• A theoretical evaluation of selected backtracking algorithms.
• scientific article; zbMATH DE number 1149402

Cited in

(16)

• Reasoning from last conflict(s) in constraint programming
• Local search with constraint propagation and conflict-based heuristics
• A hybrid constraint programming/mixed integer programming framework for the preventive signaling maintenance crew scheduling problem
• Explanation-based large neighborhood search
• A CSP search algorithm with responsibility sets and kernels
• Asynchronous aggregation and consistency in distributed constraint satisfaction
• Conflict-directed backjumping revisited
• MUST: Provide a Finer-Grained Explanation of Unsatisfiability
• Maintaining Arc Consistency Algorithms During the Search Without Additional Space Cost
• Des explications pour reconnaître et exploiter les structures cachées d'un problème combinatoire
• Constraint Propagation with Tabu List for Min-Span Frequency Assignment Problem
• Principles and Practice of Constraint Programming – CP 2004
• Explaining the \texttt{cumulative} propagator
• Saving support-checks does not always save time
• Constraint solving in uncertain and dynamic environments: A survey
• Identifying and exploiting problem structures using explanation-based constraint programming

This page was built for publication: Maintaining arc-consistency within dynamic backtracking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4473030)