Skip to Main content Skip to Navigation
Conference papers

Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00845496
Contributor : Laurent Simon <>
Submitted on : Wednesday, July 17, 2013 - 11:33:06 AM
Last modification on : Thursday, September 9, 2021 - 3:10:42 PM

Identifiers

  • HAL Id : hal-00845496, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

197