SAT based exact synthesis using DAG topology families.

Winston Haaswijk, Alan Mishchenko, Mathias Soeken, Giovanni De Micheli

Browse the full DAC paper archive.