Solutions to Real-World Instances of PSPACE-Complete Stacking.

Felix G. König Marco E. Lübbecke Rolf H. Möhring Guido Schäfer Ines Spenke

Published in: ESA (2007)

Keyphrases

pspace complete
real world
np complete
strips planning
model checking
satisfiability problem
decision problems
optimal solution
machine learning
search algorithm
state space
constraint satisfaction problems
tree automata