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 : jeudi 4 avril 2024-18:24:37
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⟩
157
Consultations
0
Téléchargements