SatyPy: SAT Solver through Minimum Independent Dominating Set
-
Updated
Nov 3, 2026 - Python
#
p-versus-np
Here are 3 public repositories matching this topic...
Companion artifacts for Quantifier-Scoped Neural Agents for P versus NP: Lean trace, simulations, data, and reproducibility sources.
-
Updated
Sep 12, 2026 - TeX
N queens counting as a rare event and a quantile integral, turned into a Monte Carlo program for P versus NP: NP = RP is shown equivalent to sampling queens completions, promise RP = promise P, which implies P = RP, is restated as a hitting set problem, with exact computations on the queens.
book monte-carlo nested-sampling rp n-queens-problem lorenz-curve approximate-counting rare-event-simulation p-versus-np derandomization randomized-complexity vertical-likelihood markov-chain-mixing
-
Updated
Oct 28, 2026 - TeX
Add this topic to your repo
To associate your repository with the p-versus-np topic, visit your repo's landing page and select "manage topics."