Thomas Kmieciak

Publication Activity (10 Years)

Years Active: 2004-2004
Publications (10 Years): 0

Publications

Marc Herbstritt, Thomas Kmieciak, Bernd Becker
On the Impact of Structural Circuit Partitioning on SAT-Based Combinational Circuit Verification. MTV (2004)