Schnorr trivial sets and truth-table reducibility.

Johanna N. Y. Franklin Frank Stephan

Published in: J. Symb. Log. (2010)

Keyphrases

truth table
boolean functions
defeasible logic
dnf formulas