Communication Dans Un Congrès
Année : 2010
Nicolas Peltier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00940668
Soumis le : dimanche 2 février 2014-13:46:52
Dernière modification le : mercredi 18 décembre 2024-09:24:47
Dates et versions
Identifiants
- HAL Id : hal-00940668 , version 1
- ARXIV : 1006.2921
- DOI : 10.1007/978-3-642-14128-7_6
Citer
Mnacho Echenim, Nicolas Peltier. Instantiation of SMT Problems Modulo Integers. International Conference on Artificial Intelligence and Symbolic Computation, 2010, Paris, France. pp.49-63, ⟨10.1007/978-3-642-14128-7_6⟩. ⟨hal-00940668⟩
161
Consultations
0
Téléchargements