The Decision Problem for Formulas with a Small Number of Atomic Subformulas.
Harry R. LewisWarren D. GoldfarbPublished in: J. Symb. Log. (1973)
Keyphrases
- decision problems
- small number
- propositional formulas
- influence diagrams
- utility function
- optimal policy
- decision model
- computational complexity
- optimal strategy
- sat problem
- decision processes
- np hard
- possibility distributions
- bayesian decision problems
- propositional logic
- pspace complete
- multicriteria decision
- objective function
- cnf formula