BEARdocs

Browsing by Subject "Theoretical Computer Science"

DSpace/Manakin Repository

Browsing by Subject "Theoretical Computer Science"

Sort by: Order: Results:

  • Maurer, Peter M.
    The characterization of the symmetries of boolean functions is important both in automatic layout synthesis, and in automatic verification of manually created layouts. It is possible to characterize the symmetries of an ...
  • Maurer, Peter M.
    This report gives the details an algorithm for determining whether two matrix groups are conjugate to one another. Each group is designated by a pair of matrices that generate the group. The algorithm is able to determine ...

Search BEARdocs

Browse

My Account