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