Linear Integer Arithmetic Revisited

Type de document :
Communication dans un congrès
25th International Conference on Automated Deduction (CADE-25), Aug 2015, Berlin, Germany. Springer, 9195, pp.623-637
Liste complète des métadonnées

https://hal.inria.fr/hal-01239394
Contributeur : Stephan Merz <>
Soumis le : lundi 7 décembre 2015 - 17:20:00
Dernière modification le : lundi 20 novembre 2017 - 15:14:02

Identifiants

  • HAL Id : hal-01239394, version 1

Collections

Citation

Martin Bromberger, Thomas Sturm, Christoph Weidenbach. Linear Integer Arithmetic Revisited. 25th International Conference on Automated Deduction (CADE-25), Aug 2015, Berlin, Germany. Springer, 9195, pp.623-637. 〈hal-01239394〉

Partager

Métriques

Consultations de la notice

82