Article Dans Une Revue
AI magazine
Année : 2012
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00868244
Soumis le : mardi 1 octobre 2013-11:11:34
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Citer
Matti Jarvisalo, Daniel Le Berre, Olivier Roussel. The International SAT Solver Competitions. AI magazine, 2012, 1 (33), pp.89-94. ⟨10.1609/aimag.v33i1.2395⟩. ⟨hal-00868244⟩
Collections
549
Consultations
0
Téléchargements