The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas.

Robert A. Di Paola

Published in: J. ACM (1969)

Keyphrases

decision problems
influence diagrams
decision model
utility function
computational complexity
np hard
optimal policy
recursive functions
decision making
optimal strategy
decision processes
sat problem
pspace complete
sequential decision making
multicriteria decision