> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: SAT Encodings of Finite CSPs Beteiligte: Nguyen, Van-Hau [Verfasser:in]; Hölldobler, Steffen [Akademische:r Betreuer:in]; Barahona, Pedro [Akademische:r Betreuer:in] Erschienen: Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden; Dresden: Technische Universität Dresden, 2015 Umfang: Online-Ressource Sprache: Englisch Identifikator: RVK-Notation: ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik Schlagwörter: Boolean satisfiability ; constraint satisfaction problem ; SAT encodings ; Hochschulschrift Entstehung: Hochschulschrift: Dresden, Technische Universität Dresden, Diss., 2015 Anmerkungen: Zugangsstatus: Freier Zugang