Boolean Rewriting Strikes Back: Reconvergence-Driven Windowing Meets Resynthesis.

Heinz Riener, Siang-Yun Lee, Alan Mishchenko, Giovanni De Micheli

Browse the full ASPDAC paper archive.