01Structured decomposition lifting via the 𝐃 functor
02Sheaf-theoretic gluing for merging parallel sub-problem results
03GF(3)-balanced problem decomposition and verification
04Support for Fixed-Parameter Tractable (FPT) algorithm design
058 GitHub stars
06Deterministic color and polarity integration for task bags