An On-Line Satisfiability Algorithm for Conjunctive Normal Form Expressions with Two Literals.

John F. Kolen

Browse the full FlAIRS paper archive.