Communication Dans Un Congrès
Année : 2017
Valentin Montmirail : Connectez-vous pour contacter le contributeur
https://univ-cotedazur.hal.science/hal-02271412
Soumis le : lundi 26 août 2019-17:51:32
Dernière modification le : lundi 30 octobre 2023-09:47:47
Dates et versions
Identifiants
- HAL Id : hal-02271412 , version 1
Citer
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail. A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem. Twenty-Sixth International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. pp.674-680. ⟨hal-02271412⟩
Collections
42
Consultations
0
Téléchargements