Adding New Bi-Asserting Clauses For Faster Search in Modern SAT Solvers - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Adding New Bi-Asserting Clauses For Faster Search in Modern SAT Solvers

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

Dates et versions

hal-00875416 , version 1 (22-10-2013)

Identifiants

  • HAL Id : hal-00875416 , version 1

Citer

Said Jabbour, Jerry Lonlac, Lakhdar Saïs. Adding New Bi-Asserting Clauses For Faster Search in Modern SAT Solvers. 10th Symposium on Abstraction, Reformulation, and Approximation (SARA'13), 2013, Leavenworth, United States. pp.66-72. ⟨hal-00875416⟩
25 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More