Media type: E-Book; Electronic Thesis; Doctoral Thesis Title: Algorithms and Extremal Properties of SAT and CSP Contributor: Scheder, Dominik A. [Author] imprint: ETH, 2011 Language: English DOI: https://doi.org/20.500.11850/72876; https://doi.org/10.3929/ethz-a-006550605 Keywords: CONSTRAINT SATISFACTION ALGORITHMS (GRAPH THEORY) ; computer science ; CONSTRAINT SATISFACTION ALGORITHMEN (GRAPHENTHEORIE) ; Data processing ; ALGORITHMIC COMPLEXITY (MATHEMATICS) ; ALGORITHMISCHE KOMPLEXITÄT (MATHEMATIK) Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access Rights information: In Copyright - Non-commercial Use Permitted