Published July 14, 2018 | Version v1

Conference paper Metadata-only

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

Creators: Lagniez, Jean-Marie; Le Berre, Daniel; de Lima, Tiago; Montmirail, Valentin

Other:: Centre de Recherche en Informatique de Lens (CRIL) ; Université d'Artois (UA)-Centre National de la Recherche Scientifique (CNRS)

Description

International audience

Additional details

Created:: December 3, 2022
Modified:: November 22, 2023