28 citations · 48 across the 13 of their papers we have counts for
1 paper · 1 filter
René Thiemann
Automatic deduction tools such as automatic theorem provers, SAT (satisfiability) solvers, SMT (satisfiability modulo theories) solvers, and termination analyzers can be connected…