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