Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization

Zhiwei Zhang, Samy Wu Fung, Anastasios Kyrillidis +2

The Boolean satisfiability (SAT) problem lies at the core of many applications in combinatorial optimization, software verification, cryptography, and machine learning. While state…