Arithmetic Constraints in SAT-based Property Checking

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.

Abstract

Abstract is missing.