Efficient Model Checking Using Tabled Resolution

Cite this paper

@inproceedings{Ramakrishna1997EfficientMC, title={Efficient Model Checking Using Tabled Resolution}, author={Y. S. Ramakrishna and C. R. Ramakrishnan and I. V. Ramakrishnan and Scott A. Smolka and Theresa Swift and David Scott Warren}, booktitle={CAV}, year={1997} }