Karsten Scheibler, Stefan Kupferschmid, Bernd Becker. Recent Improvements in the SMT Solver iSAT. In Christian Haubelt, Dirk Timmermann, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013. pages 231-241, Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, 2013.
Abstract is missing.