Senne Berden, Mohit Kumar, Samuel Kolb, Tias Guns: Learning MAX-SAT Models from Examples Using Genetic Algorithms and Knowledge Compilation. CP 2022: 8:1-8:17