An O(T log T) reduction from RAM computations to satisfiability (1991)

by J M Robson
Venue:Theoretical Computer Science