This page shows all presentations of this author published in EasyChair Smart Slide.
Learning MAX-SAT Models from Examples Using Genetic Algorithms and Knowledge Compilation
Senne Berden, Mohit Kumar, Samuel Kolb and Tias Guns