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
- DOI: 10.1007/3-540-56992-8_22
- RWTH PUBLICATIONS: RWTH-CONV-103354
Schiermeyer, Ingo
Berlin [u.a.] (1993)
Buchbeitrag
In: Computer science logic
Seite(n)/Artikel-Nr.: 379-394