 |
Conference papers
Tractable cover compilations
Yacine Boufkhad 1
Author Employer institution : Université Paris Diderot - Paris 7 IdHAL : yacine-boufkhad
Éric Grégoire 2
Author
Pierre Marquis 2
Author IdHAL : pierre-marquis ORCID : https://orcid.org/0000-0002-7979-6608
Bertrand Mazure 2
Author
Lakhdar Saïs 2
Author
1
GYROWEB - Dynamic graphs and the web graph (France)
- Inria Paris-Rocquencourt (INRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
2
CRIL - Centre de Recherche en Informatique de Lens (Faculté Jean Perrin Rue Jean Souvraz - SP 18 - 62307 LENS CEDEX - France)
- UA - Université d'Artois : UMR8188 (9 rue du Temple - BP 10665 - 62030 Arras cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8188 (France)
Document type :
Conference papers
Complete list of metadata
https://hal-univ-artois.archives-ouvertes.fr/hal-03300529
Contributor : Fabien Delorme Connect in order to contact the contributor
Submitted on : Tuesday, July 27, 2021 - 10:37:32 AM
Last modification on : Friday, January 21, 2022 - 3:17:57 AM
Contributor : Fabien Delorme Connect in order to contact the contributor
Submitted on : Tuesday, July 27, 2021 - 10:37:32 AM
Last modification on : Friday, January 21, 2022 - 3:17:57 AM
Identifiers
- HAL Id : hal-03300529, version 1
Collections
UNIV-ARTOIS | CNRS | INRIA | INRIA-MECSCI | CRIL
Citation
Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Saïs. Tractable cover compilations. Proc. of the 15th Intl. Joint Conf. on Artificial Intelligence (IJCAI-97), 1997, Nagoya, Japan. pp.122-127. ⟨hal-03300529⟩
Metrics
Les métriques sont temporairement indisponibles