TY -
GEN
AU - Böckenhauer, Hans-Joachim
AU - Keller, Lucia
TI -
On the Approximability of Splitting-SAT in 2-CNF Horn Formulas
PB - ETH-Zürich
KW - COMBINATORIAL PROBLEMS (DISCRETE PROGRAMMING)
KW - HORN CLAUSES (MATHEMATICAL LOGIC)
KW - Data processing
KW - ALGORITHMISCHE KOMPLEXITÄT (MATHEMATIK)
KW - KOMBINATORISCHE PROBLEME (DISKRETE OPTIMIERUNG)
KW - ALGORITHMIC COMPLEXITY (MATHEMATICS)
KW - HORNKLAUSELN (MATHEMATISCHE LOGIK)
KW - computer science
PY - 2013
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - https://katalog.slub-dresden.de/en/?cHash=0bb8bd27a7fbde41cd02875a74ca0f3d&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=126-ZnRldGh6Om9haTp3d3cucmVzZWFyY2gtY29sbGVjdGlvbi5ldGh6LmNoOjIwLjUwMC4xMTg1MC8xNTYzMjc&tx_find_find%5Btype%5D=ris
ER -