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

@inproceedings{pub15125,
    author = {

Müller, Luca
 and 

Drechsler, Rolf
},
    title = {SAT can Ensure Polynomial Bounds for the Verification of Circuits with Limited Cutwidth},
    booktitle = {27th Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2024), August 28-30, Paris, France},
    year = {2024}
}