The Difference and Truth-Table Hierarchies for NP.

Johannes Köbler Uwe Schöning Klaus W. Wagner

Published in: RAIRO Theor. Informatics Appl. (1987)

Keyphrases

truth table
defeasible logic
boolean functions
dnf formulas
log log
machine learning
artificial intelligence
information systems