Canonical computation without canonical representation.

Alan Mishchenko, Robert K. Brayton, Ana Petkovska, Mathias Soeken, Luca G. Amar, Antun Domic

Browse the full DAC paper archive.