An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem
Domaines
Intelligence artificielle [cs.AI]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Portail HAL - Université Côte d'Azur |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Valentin Montmirail : Connectez-vous pour contacter le contributeur
https://univ-cotedazur.hal.science/hal-02271403
Soumis le : dimanche 8 mai 2022-23:13:09
Dernière modification le : jeudi 7 mars 2024-14:36:38
Archivage à long terme le : mardi 9 août 2022-18:13:01