On Enumerating All the Minimal Models for Particular CNF Formula Classes - Archive ouverte HAL Access content directly
Conference Papers Year : 2019

On Enumerating All the Minimal Models for Particular CNF Formula Classes

(1)
1
Yakoub Salhi
Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-03301177 , version 1

Cite

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⟩
10 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More