SatyPy: SAT Solver through Minimum Independent Dominating Set
-
Updated
Nov 3, 2026 - Python
SatyPy: SAT Solver through Minimum Independent Dominating Set
A conjectured bound linking the saturation number, maximum degree, and independent domination number of a connected graph.
To associate your repository with the independent-domination topic, visit your repo's landing page and select "manage topics."