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

Identifikationsnummern