A New Angle: On Evolving Rotation Symmetric Boolean Functions.
Claude CarletMarko ÐurasevicBruno GasperovDomagoj JakobovicLuca MariotStjepan PicekPublished in: CoRR (2023)
Keyphrases
- boolean functions
- rotation angle
- uniform distribution
- prime implicants
- relevant variables
- threshold functions
- membership queries
- binary decision diagrams
- linear threshold
- disjunctive normal form
- read once formulas
- dnf formulae
- angular velocity
- functional properties
- logic programs
- rotational symmetry
- pseudo boolean functions