Learning MAX-SAT Models from Examples Using Genetic Algorithms and Knowledge Compilation.

Senne Berden, Mohit Kumar, Samuel Kolb, Tias Guns

Browse the full CP paper archive.