Popular repositories Loading
-
BalancedGo
BalancedGo PublicCompute Generalized Hypertree Decompositions via balanced separators, in Go with a focus on parallelism
-
QFMtool
QFMtool PublicA tool to evaluate fuzzy quantified expressions using Quantifier Fuzzification Mechanisms (QFM)
OCaml
-
newdetkdecomp
newdetkdecomp PublicForked from TUfischl/newdetkdecomp
Algorithms for computing hypergraph decompositions and more
C++
-
-
log-k-decomp
log-k-decomp Publiclog-k-decomp implements a novel parallel algorithm to compute Hypertree Decompositions based on the structural information of CQs or CSPs. This can then be used to evaluate them in provably polynom…
Go 2
-
If the problem persists, check the GitHub status page or contact support.