BEARdocs

Browsing Computer Science Technical Reports by Subject "Hyperlinear Simulation"

DSpace/Manakin Repository

BEARdocs is currently undergoing a scheduled upgrade. We expect the upgrade to be completed no later than Monday, March 2nd, 2015. During this time you will be able to access existing documents, but will not be able to log in or submit new documents.

Browsing Computer Science Technical Reports by Subject "Hyperlinear Simulation"

Sort by: Order: Results:

  • Maurer, Peter M.
    The Hyper-Linear package is the core of the hyper-linear simulation technique described in Reference 1. Given the specification of a Boolean function, the package will detect all partial and total symmetries and return the ...

Search BEARdocs


Advanced Search

Browse

My Account

Statistics