An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem - Université Côte d'Azur
Conference Papers Year : 2018

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

Fichier principal
Vignette du fichier
Article-17.pdf (665.9 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-02271403 , version 1 (08-05-2022)

Identifiers

  • HAL Id : hal-02271403 , version 1

Cite

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, Jul 2018, Oxford, United Kingdom. pp.1-18. ⟨hal-02271403⟩
70 View
100 Download

Share

More