%0 Generic
%T Exponential Time Complexity of SAT and Related Problems
%A Traxler, Patrick
%A Welzl, Emo
%A Grohe, Martin
%I ETH
%K CONSTRAINT SATISFACTION ALGORITHMS (GRAPH THEORY)
%K computer science
%K HASH-ALGORITHMEN + HASH-FUNKTIONEN (INFORMATIONSSYSTEME)
%K CONSTRAINT SATISFACTION ALGORITHMEN (GRAPHENTHEORIE)
%K Data processing
%K ALGORITHMIC COMPLEXITY (MATHEMATICS)
%K ALGORITHMISCHE KOMPLEXITÄT (MATHEMATIK)
%K HASH ALGORITHMS + HASH-FUNCTIONS (INFORMATION SYSTEMS)
%D 2010
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C ETH
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation