3 citations · 8 across the 5 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…