Infinite data structures in python
Lean 4 formalization of independent set discovery on biclique-free graphs.
A structural-discovery framework for discovering theorem-revealing representations, with proved local-to-global graph structure, intrinsic defect parameters, and independent Python/C++ verification — the Shunyaya Structural Discovery Compiler (SSDC).
Exact rational algorithms, instance bank, and reproducibility records for phylogenetic distance deconvolution with incomplete references.
fixed-parameter tractable (fpt) minimal decision tree solver
To associate your repository with the parameterized-complexity topic, visit your repo's landing page and select "manage topics."