Communication Dans Un Congrès
Année : 2017
Tiago DE LIMA : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01575536
Soumis le : lundi 21 août 2017-09:46:11
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-01575536 , version 1
Citer
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail. Un raccourci récursif pour CEGAR : Application au problème de satisfiabilité en logique modale K. 11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France. ⟨hal-01575536⟩
Collections
69
Consultations
0
Téléchargements