Login / Signup

Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains.

Russell J. BradfordChangbo ChenJames H. DavenportMatthew EnglandMarc Moreno MazaDavid J. Wilson
Published in: CASC (2014)
Keyphrases
  • truth table
  • boolean functions
  • defeasible logic
  • dnf formulas
  • log log
  • affine transformation
  • affine invariant
  • uniform distribution