FRAIGs: A unifying representation for logic synthesis and verification (2005)

by Alan Mishchenko , Satrajit Chatterjee , Robert Brayton
Citations:37 - 10 self