don't cares
Recently Published Documents


TOTAL DOCUMENTS

119
(FIVE YEARS 1)

H-INDEX

18
(FIVE YEARS 0)

2018 ◽  
Vol 710 ◽  
pp. 74-87 ◽  
Author(s):  
Roberto Grossi ◽  
Giulia Menconi ◽  
Nadia Pisanti ◽  
Roberto Trani ◽  
Søren Vind

2017 ◽  
Vol 58 ◽  
pp. 905-966 ◽  
Author(s):  
Nina Ghanbari Ghooshchi ◽  
Majid Namazi ◽  
M.A.Hakim Newton ◽  
Abdul Sattar

We describe a constraint-based automated planner named Transition Constraints for Parallel Planning (TCPP). TCPP constructs its constraint model from a redefined version of the domain transition graphs (DTG) of a given planning problem. TCPP encodes state transitions in the redefined DTGs by using table constraints with cells containing don't cares or wild cards. TCPP uses Minion the constraint solver to solve the constraint model and returns a parallel plan. We empirically compare TCPP with the other state-of-the-art constraint-based parallel planner PaP2. PaP2 encodes action successions in the finite state automata (FSA) as table constraints with cells containing sets of values. PaP2 uses SICStus Prolog as its constraint solver. We also improve PaP2 by using don’t cares and mutex constraints. Our experiments on a number of standard classical planning benchmark domains demonstrate TCPP's efficiency over the original PaP2 running on SICStus Prolog and our reconstructed and enhanced versions of PaP2 running on Minion.


The Monist ◽  
2017 ◽  
Vol 100 (2) ◽  
pp. 266-287 ◽  
Author(s):  
James Pearson
Keyword(s):  

2017 ◽  
Vol 118 ◽  
pp. 78-82 ◽  
Author(s):  
Marius Nicolae ◽  
Sanguthevar Rajasekaran
Keyword(s):  

Author(s):  
Alejandro Garza-Cuéllar ◽  
Manuel Valenzuela-Rendón ◽  
Ricardo-Javier Parra-Álvarez

Sign in / Sign up

Export Citation Format

Share Document