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

Schiermeyer, Ingo

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

Computer science logic
Page(s): 379-394

Identifier