Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Satisfiability Checking meets Symbolic Computation (Project Paper). | 4 | 0.47 | 2016 |
| Satisfiability Checking and Symbolic Computation. | 0 | 0.34 | 2016 |
| Sc2: Satisfiability Checking Meets Symbolic Computation (Project Paper) | 0 | 0.34 | 2016 |