Solving 3-Satisfiability in less than (1993)

by I Schiermeyer
Venue:Ò Steps, in Selected papers from CSL ’92, LNCS