Adapting the Simplex Algorithm for Superposition Modulo Linear Arithmetic - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Master Thesis Year : 2012
No 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⟩
90 View
0 Download

Share

Gmail Facebook X LinkedIn More