<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Exponential time hypothesis - Page 1 - Wikipedia">
<p>
<a accesskey="3" href="page.php?w=exponential_time_hypothesis&amp;p=2">3.Next</a>
</p>
<p>In <a href="page.php?w=computational_complexity_theory">computational complexity theory</a>, the <b>exponential time hypothesis</b> or <b>ETH</b> is an unproven <a href="page.php?w=computational_hardness_assumption">computational hardness assumption</a> that was formulated by . It states that <a href="page.php?w=3-SAT">satisfiability of 3-CNF Boolean formulas</a> (3-SAT) cannot be solved in <a href="page.php?w=subexponential_time">subexponential time</a>, . More precisely, the usual form of the hypothesis asserts the existence of a number  such</p><p>
<a accesskey="3" href="page.php?w=exponential_time_hypothesis&amp;p=2">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
