Login / Signup

Review of "Unsolvable classes of quantificational formulas" by Harry R. Lewis. Addison-Wesley 1979. and "The decision problem: solvable classes of quantificational formulas" by Burton Dreben and Warren D. Goldfarb. Addison-Wesley 1979.

John C. Cherniavsky
Published in: SIGACT News (1982)
Keyphrases
  • decision problems
  • np hard
  • propositional logic
  • decision making
  • special case
  • np complete
  • decision model
  • search algorithm
  • decision makers
  • mcgraw hill