A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic.

Gereon Kremer, Florian Corzilius, Erika brahm

Browse the full CASC paper archive.