Adapting the Simplex Algorithm for Superposition Modulo Linear Arithmetic

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 : jeudi 20 septembre 2018 - 07:54:02

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

192