Inspec keywords: Boolean functions; optimisation

Other keywords: nonzero linear combinations; Boolean permutations; involutions; optimal minimum degree; coordinate functions; minimum algebraic degree; Boolean function

Subjects: Optimisation techniques; Algebra; Formal logic