Solving non-linear Boolean equation systems by variable elimination
scientific article; zbMATH DE number 7357740
scientific article