3-valued circuit SAT for STE with automatic refinement (2007)

by Orna Grumberg, Assaf Schuster, Avi Yadgar
Venue:In Fifth International Symposium on Automated Technology for Verification and Analysis (ATVA’07), volume 4762 of LNCS