On the use of autarkies for satisfiability decision.

Oliver Kullmann

Published in: Electron. Notes Discret. Math. (2001)

Keyphrases

decision making
decision makers
decision rules
satisfiability problem
knowledge base
np complete
phase transition
information retrieval
information systems
computational complexity
influence diagrams
computational properties
decision processes
artificial intelligence
decision theory
terminological reasoning