Strong valid inequalities for Boolean logical pattern generation
scientific article; zbMATH DE number 6802555
scientific article