Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alan Mishchenko
A Semi-Canonical Form for Sequential AIGs
Global Delay Optimization Using Structural Choices
Boolean Factoring and Decomposition of Logic Networks
Detecting Support-Reducing Bound Sets Using Two-Cofactor Symmetries