EasyChair Smart SlideDocs/Log in
Author: Fahiem Bacchus

This page shows all presentations of this author published in EasyChair Smart Slide.

MaxSAT Evaluation 2018

MaxSAT Evaluation 2018

Fahiem Bacchus, Matti Järvisalo and Ruben Martins

Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories

Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories

Katalin Fazekas, Fahiem Bacchus and Armin Biere

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