Pure Literal Look Ahead: An O(1,497^n) Satisfiability Algorithm (Extended Abstract) (1996)

Cached

Download Links

by Pure Literal , Look Ahead An , Ingo Schiermeyer