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 : mercredi 18 décembre 2024-10:09:38
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⟩
109
Consultations
0
Téléchargements