19 citations · 31 across the 15 of their papers we have counts for
1 paper · 2 filters
Rodrigo F. Araujo, Higo F. Albuquerque, Iury V. de Bessa +2
This paper describes three variants of a counterexample guided inductive optimization (CEGIO) approach based on Satisfiability Modulo Theories (SMT) solvers. In particular, CEGIO r…