An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic.

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani

Browse the full TACAS paper archive.