Now showing items 1-2 of 2

  • The Complexity of Detecting Symmetric Functions 

    Maurer, Peter M. (2009-02-18)
    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 ...
  • A Quick Algorithm for Identifying Conjugate Groups in GF(2) 

    Maurer, Peter M. (2009-02-18)
    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 ...