C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
On A-Truth-Table-Hard Languages.
Steven Homer
Stuart A. Kurtz
James S. Royer
Published in:
Theor. Comput. Sci. (1993)
Keyphrases
</>
truth table
defeasible logic
boolean functions
dnf formulas
information systems
objective function
uniform distribution