SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers.

Germain Faure, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell

Browse the full SAT paper archive.