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