3 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
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…