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 ...
  • Why is Symmetry So Hard? 

    Maurer (2011-05-13)
    The problem of detecting virtually any type of symmetry is shown to be co-NP-complete. We start with totally symmetric functions, then extend the result to partially symmetric functions, then to more general cofactor ...