Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization.

Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani

Browse the full SAT paper archive.