Browsing by Subject "hierarchy"

Sort by: Order: Results:

  • Boehler, Elmar; Creignou, Nadia; Galota, Matthias; Reith, Steffen; Schnoor, Henning; Vollmer, Heribert (Braunschweig : Tech. Univ. Braunschweig, 2012)
    We study Boolean circuits as a representation of Boolean functions and conskier different equivalence, audit, and enumeration problems. For a number of restricted sets of gate types (bases) we obtain efficient algorithms, ...