Adapting the Simplex Algorithm for Superposition Modulo Linear Arithmetic

Martin Bromberger 1, 2
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Type de document :
Mémoires d'étudiants -- Hal-inria+
Logic in Computer Science [cs.LO]. 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00760395
Contributeur : Stephan Merz <>
Soumis le : lundi 3 décembre 2012 - 18:56:18
Dernière modification le : mardi 19 février 2019 - 15:40:03

Identifiants

  • HAL Id : hal-00760395, version 1

Collections

Citation

Martin Bromberger. Adapting the Simplex Algorithm for Superposition Modulo Linear Arithmetic. Logic in Computer Science [cs.LO]. 2012. 〈hal-00760395〉

Partager

Métriques

Consultations de la notice

194