Skip to Main content Skip to Navigation
Conference papers

A New Method for Knowledge Compilation: The Achievement by Cycle Search

Résumé : No abstract
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00731971
Contributor : Hal Lifl Connect in order to contact the contributor
Submitted on : Thursday, September 13, 2012 - 5:18:46 PM
Last modification on : Saturday, December 18, 2021 - 3:08:20 AM

Identifiers

  • HAL Id : hal-00731971, version 1

Citation

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⟩

Share

Metrics

Les métriques sont temporairement indisponibles