Avi Yadgar

Hybrid BDD and All-SAT Method for Model Chcking and Other Applications

Assaf Schuster, Orna Grumberg, Avi Yadgar, 2007 .

3-Valued Circuit SAT for STE with Automatic Refinement

Assaf Schuster, Orna Grumberg, Avi Yadgar, 2007, ATVA.

Efficient Automatic STE Refinement Using Responsibility

Orna Grumberg, Avi Yadgar, Hana Chockler, 2008, TACAS.

Hybrid BDD and All-SAT Method for Model Checking

Assaf Schuster, Orna Grumberg, Avi Yadgar, 2009, Languages: From Formal to Natural.

Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis

Assaf Schuster, Orna Grumberg, Avi Yadgar, 2004, FMCAD.