Görschwin Fey, Daniel Große, Stephan Eggersglüß, Robert Wille, Rolf Drechsler. Formal Verification on the Word Level using SAT-like Proof Techniques. 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 81-90, Shaker, 2007.
Abstract is missing.