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 |