Adapting the Simplex Algorithm for Superposition Modulo Linear Arithmetic - Archive ouverte HAL Access content directly
Master Thesis Year : 2012

Adapting the Simplex Algorithm for Superposition Modulo Linear Arithmetic

(1, 2)
1
2
Not file

Dates and versions

hal-00760395 , version 1 (03-12-2012)

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⟩
88 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More