Stochastic Airline Fleet Assignment is PSPACE-complete.

Sven Grothklags Ulf Lorenz

Published in: Electron. Notes Discret. Math. (2006)

Keyphrases

pspace complete
np complete
crew scheduling
model checking
satisfiability problem
decision problems
strips planning
np hard
crew pairing
integer programming
causal graph
temporal logic
coalition logic
constraint satisfaction problems
search algorithm
optimal solution
decision making