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
Fakultäten und Einrichtungen
Sie sind hier: Solving 3-satisfiability in less than 1, 579n steps
RWTH
Fakultäten und Institute
- Mathematik, Informatik, NaturwissenschaftenFakultät 1
- ArchitekturFakultät 2
- BauingenieurwesenFakultät 3
- MaschinenwesenFakultät 4
- Georessourcen und MaterialtechnikFakultät 5
- Elektrotechnik und InformationstechnikFakultät 6
- Philosophische FakultätFakultät 7
- WirtschaftswissenschaftenFakultät 8
- MedizinFakultät 10
Institut suchen:
Navigation
Sie sind hier:
- Home
- Forschung
- Publikationen
- Bibliographie
- Solving 3-satisfiability in less than 1, 579n steps