Copyright © 1991 Published by Elsevier Science B.V. All rights reserved.
Note
An O(T log T) reduction from RAM computations to satisfiability
Communicated by M.S. Paterson
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
A new method is given for obtaining a boolean expression whose satisfiability is equivalent to the existence of an accepting computation of some nondeterministic machine. Although starting from random access machines, this method gives an expression of the same O(T log T) length as the best reduction from general Turing machines.






E-mail Article
Add to my Quick Links

Cited By in Scopus (5)




