An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem
Domains
Artificial Intelligence [cs.AI]Origin | Files produced by the author(s) |
---|
Portail HAL - Université Côte d'Azur |
Origin | Files produced by the author(s) |
---|
Valentin Montmirail : Connect in order to contact the contributor
https://univ-cotedazur.hal.science/hal-02271403
Submitted on : Sunday, May 8, 2022-11:13:09 PM
Last modification on : Thursday, March 7, 2024-2:36:38 PM
Long-term archiving on : Tuesday, August 9, 2022-6:13:01 PM