Generating Test Examples for Heuristic Boolean Minimization
Daniel L. Ostapko, S. J. Hong · IBM Journal of Research and Development · 1974
This article describes simple methods of generating many-variable test-case problems for heuristic logic minimization studies. Covering problems and coloring problems are converted into Boolean functions that are useful test cases for minimization.