"PALMINI, fast Boolean minimization" - читать интересную книгу автора (Nguyen et al.)