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 : mercredi 24 juillet 2024-10:30:03
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⟩
95
Consultations
0
Téléchargements