SKI-SAT: A CMOS-Based Hardware Accelerator for Solving Boolean Satisfiability Problems

This paper introduces SKI-SAT, a novel CMOS-compatible hardware accelerator designed to efficiently solve Boolean satisfiability (SAT) and maximum satisfiability (MAX-SAT) problems, demonstrating significant performance and energy efficiency improvements over existing software and hardware solvers.