EasyChair Smart SlideDocs/Log in
Author: Antonio Morgado

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

On Dual-Rail Based MaxSAT Solving

On Dual-Rail Based MaxSAT Solving

Maria Lluïsa Bonet, Sam Buss, Alexey Ignatiev, Joao Marques-Silva and Antonio Morgado

PySAT: A Python Toolkit for Prototyping with SAT Oracles

PySAT: A Python Toolkit for Prototyping with SAT Oracles

Alexey Ignatiev, Antonio Morgado and Joao Marques-Silva

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