Skip to content

Reduced Implicate Tries and Logical Operations.

Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal

VenueCIC3K
Year2009
ProceedingsKEOD

Browse the full IC3K paper archive.