Communication Dans Un Congrès
Année : 2015
Stephan Merz : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01239394
Soumis le : lundi 7 décembre 2015-17:20:00
Dernière modification le : lundi 2 décembre 2024-17:46:02
Dates et versions
Identifiants
- HAL Id : hal-01239394 , version 1
Citer
Martin Bromberger, Thomas Sturm, Christoph Weidenbach. Linear Integer Arithmetic Revisited. 25th International Conference on Automated Deduction (CADE-25), Aug 2015, Berlin, Germany. pp.623-637. ⟨hal-01239394⟩
96
Consultations
0
Téléchargements