STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra.

Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer, Frank Seelisch, Gert-Martin Greuel

Browse the full DATE paper archive.