Cutwidth Decomposition on Circuit-AIGs: Taming Verification Complexity of Arithmetic Circuits

@inproceedings{pub16812,
    author = {

Müller, Luca
 and 

Nadeem, Mohamed
 and 

Drechsler, Rolf
},
    title = {Cutwidth Decomposition on Circuit-AIGs: Taming Verification Complexity of Arithmetic Circuits},
    booktitle = {27th International Symposium on Quality Electronic Design. International Symposium on Quality Electronic Design (ISQED-2026), April 8-10, San Francisco, United States
},
    year = {2026}
}