PP is Closed Under Truth-Table Reductions.

Lance Fortnow Nick Reingold

Published in: Inf. Comput. (1996)

Keyphrases

truth table
defeasible logic
boolean functions
dnf formulas
artificial intelligence
decision trees
active learning