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

Schiermeyer, Ingo

Berlin [u.a.] (1993)
Buchbeitrag

In: Computer science logic
Seite(n)/Artikel-Nr.: 379-394

Einrichtungen

• Fachgruppe Mathematik [110000]
• Lehrstuhl für Mathematik der Informationsverarbeitung [114510]