EasyChair Smart SlideUser guide
Author: Matti Järvisalo

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

MaxSAT-Based Bi-Objective Boolean Optimization

MaxSAT-Based Bi-Objective Boolean Optimization

Christoph Jabs, Jeremias Berg, Andreas Niskanen and Matti Järvisalo

Incremental Maximum Satisfiability

Incremental Maximum Satisfiability

Andreas Niskanen, Jeremias Berg and Matti Järvisalo

Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation

Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation

Jarkko Savela, Emilia Oikarinen and Matti Järvisalo

Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores

Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores

Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea and Alessandro Previti

MaxSAT Evaluation 2018

MaxSAT Evaluation 2018

Fahiem Bacchus, Matti Järvisalo and Ruben Martins

Presentations in this collection: 5
Copyright © 2002 – 2026 EasyChair