Conference Papers
Year : 1996
Hal Lifl : Connect in order to contact the contributor
https://hal.science/hal-00731971
Submitted on : Thursday, September 13, 2012-5:18:46 PM
Last modification on : Wednesday, September 20, 2023-3:36:06 PM
Dates and versions
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⟩
Collections
284
View
0
Download