Solving 3-satisfiability in less than 1, 579n steps

Schiermeyer, Ingo

Berlin [u.a.] (1993)
Contribution to a book

In: Computer science logic
Page(s)/Article-Nr.: 379-394