WolFEx: Word-Level Function Extraction and Simplification from Gate-Level Arithmetic Circuits

Direct Link