myvardi

TypePostAuthorRepliesLast post
Open problemComplexity of QBF(Bounded Treewidth) myvardi014 years 7 weeks ago