DPLL with restarts linearly simulates CDCL

Abstract : If we give DPLL the ability to make restarts and to learn clauses representing the explored search space, it can linearly simulate CDCL solvers.
Keywords : SAT CDCL DPLL restart
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01985327
Contributor : Olivier Bailleux <>
Submitted on : Thursday, January 17, 2019 - 7:23:36 PM
Last modification on : Thursday, February 7, 2019 - 5:07:25 PM

Identifiers

  • HAL Id : hal-01985327, version 1

Collections

Citation

Olivier Bailleux. DPLL with restarts linearly simulates CDCL. [Research Report] Université de Bourgogne. 2019. ⟨hal-01985327⟩

Share

Metrics

Record views

76

Files downloads

72