EasyChair Smart SlideDocs/Log in
Author: Tiago de Lima

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

An Assumption-Based Approach for Solving The Minimal S5-Satisfiability Problem

An Assumption-Based Approach for Solving The Minimal S5-Satisfiability Problem

Jean Marie Lagniez, Daniel Le Berre, Tiago de Lima and Valentin Montmirail

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