Communication Dans Un Congrès
Année : 2003
Fabien DELORME : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-03300806
Soumis le : mardi 27 juillet 2021-12:08:16
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-03300806 , version 1
Citer
Daniel Le Berre, Laurent Simon. The essentials of the SAT 2003 competition. Proceedings of the Sixth International Conference on Theory and Applications of satisfiability Testing (SAT 2003), 2003, Portofino, Italy. pp.452-467. ⟨hal-03300806⟩
Collections
15
Consultations
0
Téléchargements