Skip to Main content Skip to Navigation
Conference papers

Refining restarts strategies for SAT and UNSAT formulae

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00790508
Contributor : Laurent Simon <>
Submitted on : Wednesday, February 20, 2013 - 1:46:56 PM
Last modification on : Thursday, July 8, 2021 - 3:48:23 AM

Identifiers

  • HAL Id : hal-00790508, version 1

Collections

Citation

Gilles Audemard, Laurent Simon. Refining restarts strategies for SAT and UNSAT formulae. 18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec City, Canada. ⟨hal-00790508⟩

Share

Metrics

Record views

139