A New Method for Knowledge Compilation: The Achievement by Cycle Search - Archive ouverte HAL Access content directly
Conference Papers Year : 1996
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-00731971 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More