Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae

Fichier non déposé

Dates et versions

hal-00014629 , version 1 (28-11-2005)

Identifiants

  • HAL Id : hal-00014629 , version 1

Citer

Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis. Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae. The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conferencep, 2005, Pittsburg, United States. pp.288. ⟨hal-00014629⟩
26 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More