Skip to main content Skip to main navigation

Publication

SAT can Ensure Polynomial Bounds for the Verification of Circuits with Limited Cutwidth

Luca Müller; Rolf Drechsler
In: 27th Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2024), August 28-30, Paris, France, 2024.