Intensification Search in Modern SAT Solvers - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Intensification Search in Modern SAT Solvers

Said Jabbour
Lakhdar Saïs
Fichier non déposé

Dates et versions

hal-00865581 , version 1 (24-09-2013)

Identifiants

  • HAL Id : hal-00865581 , version 1

Citer

Said Jabbour, Jerry Lonlac, Lakhdar Saïs. Intensification Search in Modern SAT Solvers. 15th International Conference on Theory and Applications of Satisfiability Testing (SAT'12), 2012, Trento, Italy. pp.491-492. ⟨hal-00865581⟩
29 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More