Efficient Model Checking Using Tabled Resolution (1997)

by Y. S. Ramakrishna , C. R. Ramakrishnan , I. V. Ramakrishnan , Scott A. Smolka , Terrance Swift , David S. Warren
Venue:Computer Aided Verification (CAV '97)
Citations:130 - 35 self