3 citations · 11 across the 6 of their papers we have counts for
1 paper · 2 filters
Peter Baumgartner, Uwe Waldmann
Many applications of automated deduction require reasoning in first-order logic modulo background theories, in particular some form of integer arithmetic. A major unsolved research…