2009 CAV award announcement

Authors:
Randal E. Bryant;Orna Grumberg;Joseph Sifakis;Moshe Y. Vardi
Affiliations:
School of Computer Science, Carnegie Mellon University, Pittsburgh, USA 15213;Computer Science Department, Technion, Haifa, Israel 32000;VERIMAG, Centre National de la Recherche Scientifique, Grenoble, France;Department of Computer Science, Rice University, Houston, USA 77005
Venue:
Formal Methods in System Design
Year:
2010

Citing 4
Cited 0

GRASP—a new search algorithm for satisfiability

Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
A Computing Procedure for Quantification Theory

Journal of the ACM (JACM)
A machine program for theorem-proving

Communications of the ACM
Chaff: engineering an efficient SAT solver

Proceedings of the 38th annual Design Automation Conference

Quantified Score

Hi-index	0.00

Visualization

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.