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