Communication Dans Un Congrès Année : 2012

Intensification Search in Modern SAT Solvers

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⟩
67 Consultations
3 Téléchargements

Partager

  • More