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

Jean-Marie Lagniez 1 Daniel Le Berre 1 Tiago de Lima 1 Valentin Montmirail 1
1 CRIL - Centre de Recherche en Informatique de Lens
Document type :
Book sections
Complete list of metadatas
https://hal.univ-cotedazur.fr/hal-02271403
Contributor : Valentin Montmirail <>
Submitted on : Monday, August 26, 2019 - 5:45:06 PM
Last modification on : Tuesday, August 27, 2019 - 1:25:55 AM

Identifiers

  • HAL Id : hal-02271403, version 1

Collections

UNIV-COTEDAZUR | CNRS | UNIV-ARTOIS

Citation

Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail. An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem. Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,UK, July 14-17, 2018, Proceedings, pp.1-18, 2018. ⟨hal-02271403⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

45

Support

Université Nice Sophia Antipolis (UNS) Observatoire de la Côte d’Azur (OCA) Centre national de la recherche scientifique (CNRS) Institut national de la recherche en informatique et en automatique (Inria) SKEMA Business School EDHEC Business School  Centre Hospitalier Universitaire de Nice (CHU Nice) Centre National de Création Musicale (CIRM)  Ecole Nationale Supérieure d’Art Villa Arson Ecole Supérieure de Réalisation Audiovisuelle (ESRA) The Sustainable Design School (SDS) Ecole Supérieure de Danse de Cannes Rosella Hightower Conservatoire National à Rayonnement Régional de Nice (CNRR)