Eintrag in der Universitätsbibliographie der TU Chemnitz
Scheder, Dominik* ; Steinberger, John
PPSZ for General k-SAT and CSP - Making Hertli's Analysis Simpler and 3-SAT Faster
| Universität: | Technische Universität Chemnitz | |
| Institut: | Professur Theoretische Informatik | |
| Dokumentart: | Artikel in Fachzeitschrift, referiert | |
| ISBN/ISSN: | Electronic ISSN 1420-8954 ; Print ISSN 1016-3328 | |
| DOI: | doi:10.1007/s00037-024-00259-y | |
| Quelle: | In: computational complexity. - Springer Science and Business Media LLC. - 33. 2024, 2 | |
| Freie Schlagwörter (Englisch): | Boolean satisfiability , NP-complete problems , randomized algorithms | |
| OA-Lizenz | CC BY 4.0 |
