A Multistage View on 2-Satisfiability.

Published in: CoRR (2020)

Keyphrases

multistage
dynamic programming
stochastic programming
single stage
production system
lot sizing
stochastic optimization
np complete
optimal policy
satisfiability problem
multistage stochastic
computational complexity
propositional logic
lower bound
np hard
cnf formula