Christian Haubelt Jürgen Teich Rainer Feldmann Burkhard Monien SAT-Based Techniques in System Synthesis. 11168-11169 2003 conf/date/2003 DATE http://csdl.computer.org/comp/proceedings/date/2003/1870/01/187011168abs.htm db/conf/date/date2003.html#HaubeltTFM03