Conference Papers
Year : 2012
Laurent Simon : Connect in order to contact the contributor
https://inria.hal.science/hal-00845494
Submitted on : Wednesday, July 17, 2013-11:30:52 AM
Last modification on : Saturday, February 10, 2024-3:07:54 AM
Dates and versions
Identifiers
- HAL Id : hal-00845494 , version 1
Cite
Gilles Audemard, Laurent Simon. Glucose 2.1: Aggressive - but Reactive - Clause Database Management, Dynamic Restarts. International Workshop of Pragmatics of SAT (Affiliated to SAT), Jun 2012, Trento, Italy. ⟨hal-00845494⟩
Collections
295
View
0
Download