Login / Signup

Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic.

Cristina BorrallerasSalvador LucasRafael Navarro-MarsetEnric Rodríguez-CarbonellAlbert Rubio
Published in: CADE (2009)
Keyphrases
  • arithmetic operations
  • sat solvers
  • galois field
  • quadratic programming
  • simple linear
  • highly non linear
  • logic programs
  • orders of magnitude
  • low order
  • polynomial equations