Abstract | ||
---|---|---|
The 2009 CAV (Computer-Aided Verification) award was presented to seven individuals who made major advances in creating high-performance Boolean satisfiability solvers. This annual award recognizes a specific fundamental contribution or series of outstanding contributions to the CAV field. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/s10703-010-0094-9 | Formal Methods in System Design |
Keywords | Field | DocType |
Computer-aided verification,Boolean satisfiability | Computer science,Boolean satisfiability problem,Theoretical computer science,Computer aided verification | Journal |
Volume | Issue | ISSN |
36 | 3 | 0925-9856 |
Citations | PageRank | References |
0 | 0.34 | 4 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Randal E. Bryant | 1 | 9204 | 1194.64 |
Orna Grumberg | 2 | 4361 | 351.99 |
Joseph Sifakis | 3 | 6064 | 814.75 |
Moshe Y. Vardi | 4 | 13413 | 2267.07 |