Efficient Model Checking Using Tabled Resolution.

Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren

Browse the full CAV paper archive.