Media type: E-Book; Thesis Title: SAT Encodings of Finite CSPs Contributor: Nguyen, Van-Hau [Author]; Hölldobler, Steffen [Degree supervisor]; Barahona, Pedro [Degree supervisor] Published: Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden; Dresden: Technische Universität Dresden, 2015 Extent: Online-Ressource Language: English Identifier: RVK notation: ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik Keywords: Boolean satisfiability ; constraint satisfaction problem ; SAT encodings ; Hochschulschrift Origination: University thesis: Dresden, Technische Universität Dresden, Diss., 2015 Footnote: Access State: Open Access