3 citations · 3 across the 1 of their papers we have counts for
1 paper
Elmar Böhler, Nadia Creignou, Matthias Galota +3
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 type…