Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz. Arithmetic Constraints in SAT-based Property Checking. In Christian Haubelt, Jürgen Teich, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7, 2007. pages 91-100, Shaker, 2007.
@inproceedings{PavlenkoWSK07,
title = {Arithmetic Constraints in SAT-based Property Checking},
author = {Evgeny Pavlenko and Markus Wedler and Dominik Stoffel and Wolfgang Kunz},
year = {2007},
researchr = {https://researchr.org/publication/PavlenkoWSK07},
cites = {0},
citedby = {0},
pages = {91-100},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7, 2007},
editor = {Christian Haubelt and Jürgen Teich},
publisher = {Shaker},
}