Thomas Kmieciak

According to our database, Thomas Kmieciak authored at least 1 paper in 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

On the Impact of Structural Circuit Partitioning on SAT-Based Combinational Circuit Verification.

Marc Herbstritt, Thomas Kmieciak, Bernd Becker

Proceedings of the Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), 2004