A Unified Approach to Canonical Form-based Boolean Matching.

Giovanni Agosta, Francesco Bruschi, Gerardo Pelosi, Donatella Sciuto

Browse the full DAC paper archive.