Login / Signup
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains.
Russell J. Bradford
Changbo Chen
James H. Davenport
Matthew England
Marc Moreno Maza
David J. Wilson
Published in:
CoRR (2014)
Keyphrases
</>
truth table
boolean functions
defeasible logic
dnf formulas
linear programming
uniform distribution
learning algorithm
case based reasoning
business processes
affine transformation