ENTITY
SAT solvers
SAT solvers
PulseAugur coverage of SAT solvers — every cluster mentioning SAT solvers across labs, papers, and developer communities, ranked by signal.
Total · 30d
0
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
2 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
New tool imports SAT solver certificates into Lean 4 theorem prover
Researchers have developed LRAT-Catcher, a tool that imports SAT solver certificates into the Lean 4 theorem prover. This tool utilizes a formally verified LRAT checker compiled as native code via reflection, enabling i…
-
LLMs automate SAT solver optimization, boosting performance by 40%
Researchers have developed AutoModSAT, a new framework that leverages large language models (LLMs) to automatically optimize complex SAT solvers. This approach combines an LLM-compatible modular solver design with unsup…