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