Publication:3942900
From MaRDI portal
zbMath0483.94035MaRDI QIDQ3942900
Publication date: 1981
03B05: Classical propositional logic
Related Items
On the Complexity of Minimizing Quasicyclic Boolean Functions, Boolean function minimization in the class of disjunctive normal forms