A New Method for Knowledge Compilation: The Achievement by Cycle Search - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1996
Fichier non déposé

Dates et versions

hal-00731971 , version 1 (13-09-2012)

Identifiants

  • HAL Id : hal-00731971 , version 1

Citer

Olivier Roussel, Philippe Mathieu. A New Method for Knowledge Compilation: The Achievement by Cycle Search. Proceedings of the 13th International Conference on Automated Deduction (CADE'13), 1996, undef, France. pp.493--507. ⟨hal-00731971⟩
291 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More