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

Berlin [u.a.] (1993) [Buchbeitrag]

Computer science logic
Seite(n): 379-394

Autorinnen und Autoren

Autorinnen und Autoren

Schiermeyer, Ingo

Identifikationsnummern