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-00869900 , version 1 (04-10-2013)

Identifiants

  • HAL Id : hal-00869900 , version 1

Citer

Said Jabbour, Jerry Lonlac, Lakhdar Saïs. Intensification Search in Modern SAT Solvers. 8ièmes Journées Francophones de Programmation par Contraintes (JFPC'12), 2012, Toulouse, France. pp.156-159. ⟨hal-00869900⟩
28 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More