Sign in

Truth table invariant cylindrical algebraic decomposition.

Russell J. BradfordJames H. DavenportMatthew EnglandScott McCallumDavid J. Wilson
Published in: J. Symb. Comput. (2016)
Keyphrases
  • truth table
  • boolean functions
  • defeasible logic
  • affine transformation
  • dnf formulas
  • affine invariant
  • information systems
  • uniform distribution