Boolean Circuits as a Data Structure for Boolean Functions: Efficient Algorithms and Hard Problems
['Elmar Böhler', 'Nadia Creignou', 'Matthias Galota', 'Steffen Reith', 'Henning Schnoor', 'Heribert Vollmer']
Boolean Circuits as a Data Structure for Boolean Functions: Efficient Algorithms and Hard Problems