Thomas Kmieciak

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004

1 EE Marc Herbstritt, Thomas Kmieciak, Bernd Becker: On the Impact of Structural Circuit Partitioning on SAT-Based Combinational Circuit Verification. MTV 2004: 50-55

2004
1	EE	Marc Herbstritt, Thomas Kmieciak, Bernd Becker: On the Impact of Structural Circuit Partitioning on SAT-Based Combinational Circuit Verification. MTV 2004: 50-55

Coauthor Index

1 Bernd Becker [1]

2 Marc Herbstritt [1]