Name
Year | DOI | Venue |
|---|---|---|
2015 | 10.1007/978-3-658-09994-7_5 | SyDe Summer School |
Field | DocType | Citations |
Automatic test pattern generation,Computer science,Conjunctive normal form,Electronic design automation,True quantified Boolean formula,Computer engineering | Conference | 0 |
PageRank | References | Authors |
0.34 | 41 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Bernd Becker | 1 | 5 | 0.87 |
| Matthias Sauer | 2 | 9 | 0.84 |
| Christoph Scholl | 3 | 346 | 32.07 |
| Ralf Wimmer | 4 | 407 | 34.28 |