Bibtex:

@TechReport{S02tech,
  AUTHOR    = { Strichman, Ofer },
  TITLE     = { Optimizations in decision procedures for propositional linear inequalities },
  YEAR      = { 2002 },
  NUMBER    = { CMU-CS-02-133 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.