39 citations · 73 across the 14 of their papers we have counts for
1 paper · 1 filter
E. Abraham, J. Abbott, B. Becker +12
Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, impleme…