Skip to main content

koenig_kernel_ty

oxilean_std::parameterized_complexity::functions

Function koenig_kernel_ty 

Source 
pub fn koenig_kernel_ty() -> Expr
Expand description

KoenigTheoremKernelization : König's theorem gives LP-based kernel