Conference Papers
Year : 2003
Fabien DELORME : Connect in order to contact the contributor
https://hal-univ-artois.archives-ouvertes.fr/hal-03300508
Submitted on : Tuesday, July 27, 2021-10:37:16 AM
Last modification on : Friday, March 24, 2023-2:53:22 PM
Dates and versions
Identifiers
- HAL Id : hal-03300508 , version 1
Cite
Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs, Éric Grégoire. Eliminating redundancies in SAT search trees. Proc. of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'2003), 2003, Sacramento, Unknown Region. pp.100-104. ⟨hal-03300508⟩
Collections
4
View
0
Download