TY - GEN
AU - Traxler, Patrick
AU - Welzl, Emo
AU - Grohe, Martin
TI - Exponential Time Complexity of SAT and Related Problems
PB - ETH
KW - CONSTRAINT SATISFACTION ALGORITHMS (GRAPH THEORY)
KW - computer science
KW - HASH-ALGORITHMEN + HASH-FUNKTIONEN (INFORMATIONSSYSTEME)
KW - CONSTRAINT SATISFACTION ALGORITHMEN (GRAPHENTHEORIE)
KW - Data processing
KW - ALGORITHMIC COMPLEXITY (MATHEMATICS)
KW - ALGORITHMISCHE KOMPLEXITÄT (MATHEMATIK)
KW - HASH ALGORITHMS + HASH-FUNCTIONS (INFORMATION SYSTEMS)
PY - 2010
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation