EasyChair Smart Slide
Learning MAX-SAT Models from Examples Using Genetic Algorithms and Knowledge Compilation
Learning MAX-SAT Models from Examples Using Genetic Algorithms and Knowledge Compilation