Skip to main content

eth_ty

oxilean_std::parameterized_complexity::functions

Function eth_ty 

Source 
pub fn eth_ty() -> Expr
Expand description

ETH : Prop — Exponential Time Hypothesis 3-SAT cannot be solved in 2^o(n) time.