Computer Science – Computational Complexity
Scientific paper
2010-09-07
Computer Science
Computational Complexity
27 pages, 1 figure
Scientific paper
We study Boolean circuits as a representation of Boolean functions and
consider different equivalence, audit, and enumeration problems. For a number
of restricted sets of gate types (bases) we obtain efficient algorithms, while
for all other gate types we show these problems are at least NP-hard.
Böhler Elmar
Creignou Nadia
Galota Matthias
Reith Steffen
Schnoor Henning
No associations
LandOfFree
Boolean Circuits as Representation for Boolean Functions: Efficient Algorithms and Hard Problems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Boolean Circuits as Representation for Boolean Functions: Efficient Algorithms and Hard Problems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Boolean Circuits as Representation for Boolean Functions: Efficient Algorithms and Hard Problems will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-704460