0 references
Generating Boolean ?-expressions
Acta Informatica1995Vol. 32(2), pp. 171–187
Related Papers
- → On Boolean Models for Quantified Boolean Horn Formulas(2004)18 cited
- → Nested Boolean Functions as Models for Quantified Boolean Formulas(2013)5 cited
- → Limitations of Lower-Bound Methods for the Wire Complexity of Boolean Operators(2012)3 cited
- → A Note on the Inversion Complexity of Boolean Functions in Boolean Formulas(2008)7 cited
- Lower Bounds for the Complexity of Restrictions of Boolean Functions(2001)