On Enumerating All the Minimal Models for Particular CNF Formula Classes - Université d'Artois Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

On Enumerating All the Minimal Models for Particular CNF Formula Classes

Yakoub Salhi
Fichier non déposé

Dates et versions

hal-03301177 , version 1 (27-07-2021)

Identifiants

  • HAL Id : hal-03301177 , version 1

Citer

Yakoub Salhi. On Enumerating All the Minimal Models for Particular CNF Formula Classes. Proceedings of the 11th International Conference on Agents and Artificial Intelligence (ICAART'19), 2019, Prague, Czech Republic. ⟨hal-03301177⟩
16 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More