Lecture 09
Hossein Hojjat: Omega Test
Chapter 5 of the book Decision procedures: an algorithmic point of view
Alen Stojanov: Craig Interpolants for Quantifier Free Presburger Arithmetic
Andrei Giurgiu: Quanti er Elimination for Real and Complex Fi elds