> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Algorithm selection, scheduling and configuration of Boolean constraint solvers Beteiligte: Lindauer, Marius [Verfasser]; Schaub, Torsten [Akademischer Betreuer]; Hoos, Holger [Akademischer Betreuer] Erschienen: Potsdam: Universität Potsdam, 2015 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Scheduling ; algorithm configuration ; algorithm scheduling ; algorithm selection ; parallel solving ; Boolean constraint solver ; Algorithmenselektion ; Algorithmenablaufplanung ; Algorithmenkonfiguration ; paralleles Lösen Entstehung: Hochschulschrift: Dissertation, Potsdam, Universität Potsdam, 2015 Anmerkungen: Zugangsstatus: Freier Zugang