Switch to: References

Add citations

You must login to add citations.
  1. Long-distance mutual exclusion for planning.Yixin Chen, Ruoyun Huang, Zhao Xing & Weixiong Zhang - 2009 - Artificial Intelligence 173 (2):365-391.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On the complexity of planning for agent teams and its implications for single agent planning.Ronen I. Brafman & Carmel Domshlak - 2013 - Artificial Intelligence 198 (C):52-71.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Planning as satisfiability: Heuristics.Jussi Rintanen - 2012 - Artificial Intelligence 193 (C):45-86.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • An extension of metric temporal planning with application to AC voltage control.Chiara Piacentini, Varvara Alimisis, Maria Fox & Derek Long - 2015 - Artificial Intelligence 229 (C):210-245.
    Download  
     
    Export citation  
     
    Bookmark  
  • Reasoning from last conflict(s) in constraint programming.Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary & Vincent Vidal - 2009 - Artificial Intelligence 173 (18):1592-1614.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners.Alfonso E. Gerevini, Patrik Haslum, Derek Long, Alessandro Saetti & Yannis Dimopoulos - 2009 - Artificial Intelligence 173 (5-6):619-668.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Landmark-enhanced abstraction heuristics.Carmel Domshlak, Michael Katz & Sagi Lefler - 2012 - Artificial Intelligence 189 (C):48-68.
    Download  
     
    Export citation  
     
    Bookmark   1 citation