Communication Dans Un Congrès
Année : 2003
Fabien DELORME : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-03299485
Soumis le : lundi 26 juillet 2021-14:49:04
Dernière modification le : mercredi 10 janvier 2024-16:52:00
Dates et versions
Identifiants
- HAL Id : hal-03299485 , version 1
Citer
Gilles Audemard, Daniel Le Berre, Olivier Roussel, Ines Lynce, Joao Marques-Silva. OpenSAT: an open source SAT software project. Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT2003), 2003, Portofino, Italy. ⟨hal-03299485⟩
Collections
23
Consultations
0
Téléchargements