Skip to Main content Skip to Navigation
Conference papers

Eliminating redundancies in SAT search trees

Document type :
Conference papers
Complete list of metadata

https://hal-univ-artois.archives-ouvertes.fr/hal-03300508
Contributor : Fabien Delorme Connect in order to contact the contributor
Submitted on : Tuesday, July 27, 2021 - 10:37:16 AM
Last modification on : Thursday, September 9, 2021 - 3:10:24 PM

Identifiers

  • HAL Id : hal-03300508, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

8