Media type: E-Book Title: On the Approximability of Splitting-SAT in 2-CNF Horn Formulas Contributor: Böckenhauer, Hans-Joachim [Author]; Keller, Lucia [Author] imprint: ETH-Zürich, 2013 Language: English DOI: https://doi.org/20.500.11850/156327; https://doi.org/10.3929/ethz-a-010887450 Keywords: computer science ; KOMBINATORISCHE PROBLEME (DISKRETE OPTIMIERUNG) ; COMBINATORIAL PROBLEMS (DISCRETE PROGRAMMING) ; HORN CLAUSES (MATHEMATICAL LOGIC) ; HORNKLAUSELN (MATHEMATISCHE LOGIK) ; ALGORITHMIC COMPLEXITY (MATHEMATICS) ; Data processing ; 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