Communication Dans Un Congrès
Année : 2013
Nadia Creignou : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01194387
Soumis le : dimanche 6 septembre 2015-19:42:48
Dernière modification le : mardi 5 mars 2024-09:18:04
Dates et versions
Identifiants
- HAL Id : hal-01194387 , version 1
Citer
Nadia Creignou, Reinhard Pichler, Stefan Woltran. Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?. 23rd International Joint Conference on Artificial Intelligence, IJCAI'2013, 2013, Beijing, China. ⟨hal-01194387⟩
Collections
50
Consultations
0
Téléchargements