Pure Literal Look Ahead: An Ç ���� Ò 3-Satisfiability Algorithm, Workshop on the Satisfiability Problem (1996)

by I Schiermeyer
Venue:University of Köln, Report No