Improved Boolean function hashing based on multiple-vertex dominators.

Ren Krenz, Elena Dubrova

Browse the full ASPDAC paper archive.