Conference Papers
Year : 2010
Laurent Simon : Connect in order to contact the contributor
https://inria.hal.science/inria-00543640
Submitted on : Monday, December 6, 2010-2:29:47 PM
Last modification on : Saturday, February 10, 2024-3:07:50 AM
Dates and versions
Identifiers
- HAL Id : inria-00543640 , version 1
Cite
Laurent Simon, Gilles Audemard, George Katsirelos. Une restriction de la résolution étendue pour les démonstrateurs SAT modernes. JFPC, Jun 2010, Orléans, France. ⟨inria-00543640⟩
Collections
409
View
0
Download