Login / Signup
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