Conference Papers
Year : 2013
Laurent Simon : Connect in order to contact the contributor
https://inria.hal.science/hal-00845496
Submitted on : Wednesday, July 17, 2013-11:33:06 AM
Last modification on : Thursday, November 9, 2023-7:51:06 AM
Dates and versions
Identifiers
- HAL Id : hal-00845496 , version 1
Cite
Gilles Audemard, Jean-Marie Lagniez, Laurent Simon. Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction. International Conference on Theory and Applications of Satisfiability Testing, Jun 2013, Helsinki, Finland. ⟨hal-00845496⟩
Collections
107
View
0
Download