Name
Title | ||
|---|---|---|
Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation). |
Year | Venue | DocType |
|---|---|---|
2012 | SAT | Conference |
Citations | PageRank | References |
0 | 0.34 | 3 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Iago Abal | 1 | 0 | 0.68 |
| Alcino Cunha | 2 | 298 | 27.55 |
| Joe Hurd | 3 | 89 | 8.92 |
| Jorge Sousa Pinto | 4 | 160 | 23.19 |