Long-distance mutual exclusion for planning

DOI10.1016/J.ARTINT.2008.11.004zbMath1192.68639OpenAlexW2053990123MaRDI QIDQ835814

Ruoyun Huang, Yixin Chen, Zhao Xing, Weixiong Zhang

Publication date: 31 August 2009

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2008.11.004

zbMATH Keywords

constraint propagationplanningsatisfiabilitymutual exclusion

Mathematics Subject Classification ID

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

Related Items (2)

Extracting mutual exclusion invariants from lifted temporal planning domains ⋮ Discovering state constraints for planning with conditional effects in \textsc{Discoplan}. I

Uses Software

• MiniSat
• Walksat
• CPlan
• PDDL
• Graphplan

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• State-variable planning under structural restrictions: algorithms and complexity
• Engineering and compiling planning domain models to promote validity and efficiency
• Fast planning through planning graph analysis
• Planning as satisfiability: parallel plans and algorithms for plan search
• Branching and pruning: An optimal temporal POCL planner based on constraint programming
• Planning as heuristic search

This page was built for publication: Long-distance mutual exclusion for planning