LCS Publication Details
Publication Title: A Concrete Construction Of Computationally-Sound Checkers
Publication Author: Halevi, S
Additional Authors:
LCS Document Number: MIT-LCS-TM-579
Publication Date: 5-1-1998
LCS Group: No Group Specified
Additional URL: No URL Given
Micali put forward the notion of a CS checker for NP-complete problems, and showed that such checkers exist if CS proof-systems with a random string exist. This implies that CS checkers for SAT are constructable under the ebstract conjecture that it is.
To obtain this publication:

    To purchase a printed copy of this publication please contact MIT Document Services.