A Simple Heuristic for Expressing a Truth Table as a Quadratic Pseudo-Boolean Function.

Published in: QCE (2021)

Keyphrases

truth table
boolean functions
pseudo boolean functions
defeasible logic
linear functions
uniform distribution
membership queries
dnf formulas
knowledge representation
objective function
computational complexity
multi valued
polynomial size
log log