#sat-solver News & Analysis

2 articles tagged with #sat-solver. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

2 articles

AINeutralarXiv – CS AI · Jun 86/10

🧠

Accelerated Fourier SAT (AFSAT): Fully Realising a GPU-based Symmetric Pseudo-Boolean SAT Solver

Researchers have developed AFSAT, a GPU-accelerated solver for pseudo-Boolean satisfiability problems that builds on continuous local search principles. The fully-engineered system uses JAX compilation techniques to achieve substantial improvements in numerical stability, runtime performance, and memory efficiency while scaling efficiently across multiple accelerators.

AINeutralarXiv – CS AI · May 126/10

🧠

Dsat: A Native SAT Solver for Discrete Logic

Researchers introduce DSAT, a native SAT solver designed to work directly with discrete variables rather than converting them to binary Boolean variables. The solver applies traditional SAT techniques like unit resolution and clause learning to discrete logic, offering potential computational and semantic advantages over existing binarization approaches for applications in probabilistic reasoning, planning, and explainable AI.