Login / Signup

A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA).

Erik ReeberWarren A. Hunt Jr.
Published in: IJCAR (2006)
Keyphrases
  • decision making
  • np complete
  • answer set programming
  • decision makers
  • decision rules
  • decision problems
  • decision process
  • expected utility
  • bounded model checking