Eintrag in der Universitätsbibliographie der TU Chemnitz
Coja-Oghlan, Amin ; Goerdt, Andreas ; Lanka, Andre'
Strong Refutation Heuristics for Random k-SAT.
| Universität: | Technische Universität Chemnitz | |
| Institut: | Professur Theoretische Informatik | |
| Dokumentart: | Artikel in Fachzeitschrift, referiert | |
| ISBN/ISSN: | 09635483 | |
| URL/URN: | http://www.cambridge.org/journals/journal_catalogue.asp?mnemonic=cpc | |
| Quelle: | In: Combinatorics, Probability & Computing. - 16. 2007, 1, S. 5 - 28 | |
| Freie Schlagwörter (Englisch): | random , maxsat , efficient |
