Communication Dans Un Congrès
Année : 2013
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00875416
Soumis le : mardi 22 octobre 2013-09:34:00
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
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⟩
Collections
31
Consultations
0
Téléchargements