Master Thesis
Year : 2012
Stephan Merz : Connect in order to contact the contributor
https://inria.hal.science/hal-00760395
Submitted on : Monday, December 3, 2012-6:56:18 PM
Last modification on : Monday, September 11, 2023-5:41:18 PM
Dates and versions
Identifiers
- HAL Id : hal-00760395 , version 1
Cite
Martin Bromberger. Adapting the Simplex Algorithm for Superposition Modulo Linear Arithmetic. Logic in Computer Science [cs.LO]. 2012. ⟨hal-00760395⟩
90
View
0
Download