Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis. - Orna Grumberg; Assaf Schuster; Avi Yadgar (FMCAD, 2004)

3-Valued Circuit SAT for STE with Automatic Refinement. - Orna Grumberg; Assaf Schuster; Avi Yadgar (ATVA, 2007)

Efficient Automatic STE Refinement Using Responsibility. - Hana Chockler; Orna Grumberg; Avi Yadgar (TACAS, 2008)

Hybrid BDD and All-SAT Method for Model Checking. - Avi Yadgar; Orna Grumberg; Assaf Schuster (Languages: From Formal to Natural, 2009)

New approaches to model checking and to 3-valued abstraction and refinement. - Avi Yadgar (2010)