A Decidability Result for the Model Checking of Infinite-State Systems Daniele ZucchelliEnrica Nicolini OriginalPaper 06 August 2010 Pages: 1 - 42
SAT Modulo Linear Arithmetic for Solving Polynomial Constraints Cristina BorrallerasSalvador LucasAlbert Rubio OriginalPaper 04 September 2010 Pages: 107 - 131