DPLL with restarts linearly simulates CDCL - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2019

DPLL with restarts linearly simulates CDCL

Olivier Bailleux

Résumé

If we give DPLL the ability to make restarts and to learn clauses representing the explored search space, it can linearly simulate CDCL solvers.

Mots clés

Fichier principal
Vignette du fichier
main.pdf (523.41 Ko) Télécharger le fichier
fig1.png (42.52 Ko) Télécharger le fichier
fig2.png (55.38 Ko) Télécharger le fichier
fig3.png (114.92 Ko) Télécharger le fichier
fig4.png (84.47 Ko) Télécharger le fichier
fig5.png (81.01 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01985327 , version 1 (17-01-2019)

Identifiants

  • HAL Id : hal-01985327 , version 1

Citer

Olivier Bailleux. DPLL with restarts linearly simulates CDCL. [Research Report] Université de Bourgogne. 2019. ⟨hal-01985327⟩
60 Consultations
153 Téléchargements

Partager

Gmail Facebook X LinkedIn More