C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Truth Table Invariant Cylindrical Algebraic Decomposition.
Russell J. Bradford
James H. Davenport
Matthew England
Scott McCallum
David J. Wilson
Published in:
CoRR (2014)
Keyphrases
</>
truth table
boolean functions
defeasible logic
affine invariant
affine transformation
dnf formulas
uniform distribution