Skip to main content

courcelle_pathwidth_ty

oxilean_std::parameterized_complexity::functions

Function courcelle_pathwidth_ty 

Source 
pub fn courcelle_pathwidth_ty() -> Expr
Expand description

CourcellePathwidth : MSO₁ model checking is FPT on bounded pathwidth graphs