EasyChair Smart SlideUser guide
Author: Jean Marie Lagniez

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

A New Exact Solver for (Weighted) Max#SAT

A New Exact Solver for (Weighted) Max#SAT

Gilles Audemard, Jean Marie Lagniez and Marie Miceli

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: 2
Copyright © 2002 – 2026 EasyChair