This conjecture (for the k-SAT problem) is known as the exponential time hypothesis.
هذا التخمين (لمشكلة k-SAT) معروف مثل فرضية الزمن الأسي .