Logic Programming Optimizations for Faster Model Checking

Yifei Dong, C. R. Ramakrishnan

Abstract:

Bibtex Entry:

@inproceedings{DR:TAPD00,
author = {Yifei Dong and  C. R. Ramakrishnan},
title = {Logic Programming Optimizations for Faster Model Checking},
booktitle = {International Workshop on Tabulation in Parsing and Deduction ({TAPD})},
address = {Vigo, Spain},
month = {September},
year = {2000}
}

Full Paper: [pdf]

Home | Papers

C. R. Ramakrishnan
(cram@cs.sunysb.edu)