Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer, Frank Seelisch, Gert-Martin Greuel
STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra
DATE, 2011.
@inproceedings{DATE-2011-PavlenkoWSKDSG,
author = "Evgeny Pavlenko and Markus Wedler and Dominik Stoffel and Wolfgang Kunz and Alexander Dreyer and Frank Seelisch and Gert-Martin Greuel",
booktitle = "{Proceedings of the 15th Conference on Design, Automation and Test in Europe}",
isbn = "978-1-61284-208-0",
pages = "155--160",
publisher = "{IEEE}",
title = "{STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra}",
year = 2011,
}