Introducing AFSAT: A New GPU-Accelerated Solver for Pseudo-Boolean SAT Problems
AFSAT is a newly developed GPU-accelerated solver designed to enhance the efficiency of solving pseudo-Boolean satisfiability problems through continuous local search techniques.
Editorial Staff 16 days ago