1 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Aboubakr Achraf El Ghazi, Mattias Ulbrich, Mana Taghdiri +1
We present a general simplification of quantified SMT formulas using variable elimination. The simplification is based on an analysis of the ground terms occurring as arguments in…