Simplicity Rather Than Knowledge

Abstract

For minimization of general Boolean structures, brute force is more
effective than specialized algorithms that rely on descriptive knowledge.