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

Institutions

  • Department of Mathematics [110000]
  • Chair of Mathematics of Information Processing [114510]

Identifier