EasyChair Smart SlideDocs/Log in
Author: Ruben Martins

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

UpMax: User Partitioning for MaxSAT

UpMax: User Partitioning for MaxSAT

Pedro Orvalho, Vasco Manquinho and Ruben Martins

Certified CNF Translations for Pseudo-Boolean Solving

Certified CNF Translations for Pseudo-Boolean Solving

Stephan Gocht, Ruben Martins, Jakob Nordström and Andy Oertel

Coloring Unit-Distance Strips using SAT

Coloring Unit-Distance Strips using SAT

Peter Oostema, Ruben Martins and Marijn Heule

MaxSAT Evaluation 2018

MaxSAT Evaluation 2018

Fahiem Bacchus, Matti Järvisalo and Ruben Martins

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