TY  - RPRT
TI  - Evolutionary Diversity Optimisation in Constructing Satisfying Assignments
AU  - Adel Nikfarjam
AU  - Ralf Rothenberger
AU  - Frank Neumann
AU  - Tobias Friedrich
PY  - 2023
DO  - 10.1145/3583131.3590517
UR  - https://arxiv.org/abs/2305.11457
ID  - 2305.11457
ER  -