Efficient Computation of Canonical Form under Variable Permutation and Negation for Boolean Matching in Large Libraries
Downloads
Published
2006-12-01
Issue
Section
Papers
Login to access subscriber-only resources.
The Florida OJ service is provided through the FLVC Library Services. | FLVC Privacy Policy.