C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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