Media type: Book; Thesis Title: SAT encodings of finite CSPs Contributor: Nguyen, Van-Hau [VerfasserIn] Corporation: Technische Universität Dresden imprint: Dresden, [2015?] Extent: iii, 167 Seiten; Illustrationen, Diagramme Language: English RVK notation: ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik Keywords: Erfüllbarkeitsproblem Origination: University thesis: Dissertation, Technische Universität Dresden, 2015 Footnote: Tag der Verteidigung: 27.02.2015
Departmental Library DrePunct – open access area Shelf-mark: ST 125 N576 Item ID: 33416755 Status: Loanable
Departmental Library DrePunct – stack Shelf-mark: 2019 8 020110 Item ID: 33416754 Status: Place order for use in library, no dispatch by interlibrary loan; delivery of photocopies possible > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order