Communication Dans Un Congrès
Année : 2010
Nicolas Peltier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00940666
Soumis le : dimanche 2 février 2014-13:38:46
Dernière modification le : jeudi 4 avril 2024-21:39:53
Citer
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier. RegSTAB: a SAT-Solver for Propositional Schemata. IJCAR 2010, 2010, Edinburgh, United Kingdom. pp.309-315, ⟨10.1007/978-3-642-14203-1_26⟩. ⟨hal-00940666⟩
105
Consultations
0
Téléchargements