Year | Venue | Keywords |
---|---|---|
2004 | ARCS Workshops | sat solver |
Field | DocType | Citations |
Space partitioning,Computer science,Parallel computing,Boolean satisfiability problem,Multiprocessing,PIC microcontroller,Solver,Backtracking,Gas meter prover,Scalability | Conference | 3 |
PageRank | References | Authors |
0.40 | 16 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Tobias Schubert | 1 | 598 | 37.74 |
B. Becker | 2 | 191 | 21.44 |