On characteristic and parametric representations
       of boolean sets


        Representing large boolean sets has many important application
        areas, including hardware verification. There are two main
        approaches: the characteristic and parametric
        representation. This note describes the approaches and briefly
        compares them