EasyChair Smart SlideDocs/Log in
Author: Tias Guns

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

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

Senne Berden, Mohit Kumar, Samuel Kolb and Tias Guns

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (Extended Abstract)

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (Extended Abstract)

Emilio Gamba, Bart Bogaerts and Tias Guns

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair