Mémoires D'étudiants -- Hal-Inria+
Année : 2012
Stephan Merz : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00760395
Soumis le : lundi 3 décembre 2012-18:56:18
Dernière modification le : lundi 2 décembre 2024-17:46:02
Dates et versions
Identifiants
- HAL Id : hal-00760395 , version 1
Citer
Martin Bromberger. Adapting the Simplex Algorithm for Superposition Modulo Linear Arithmetic. Logic in Computer Science [cs.LO]. 2012. ⟨hal-00760395⟩
97
Consultations
0
Téléchargements