Sign in

Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition.

Matthew EnglandRussell J. BradfordChangbo ChenJames H. DavenportMarc Moreno MazaDavid J. Wilson
Published in: CICM (2014)
Keyphrases
  • truth table
  • boolean functions
  • machine learning
  • affine invariant