Pure Literal Look Ahead: An O(1; 497 n ) 3-Satisfiability Algorithm. Preprint 96. (e-mail: schierme@math.tu-cottbus.de (0)

by I Schiermeyer