SAT solvers
PulseAugur coverage of SAT solvers — every cluster mentioning SAT solvers across labs, papers, and developer communities, ranked by signal.
-
G-RRM solver speeds up Sudoku 33x; GitHub repos tagged with industry codes
A new method called G-RRM has demonstrated a 33x speedup in solving Sudoku puzzles by integrating neural reasoning models with traditional SAT solvers. However, this performance gain is contingent on the solver's abilit…
-
SAT solver metrics fail to predict human Nonogram difficulty
A new research paper explores the relationship between computational effort and human perception of difficulty in Nonogram puzzles. The study formulated Nonograms as a constraint satisfaction problem and used SAT solver…
-
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…