Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability

Anton Belov, Matti Järvisalo

This work focuses on improving state-of-the-art in stochastic local search (SLS) for solving Boolean satisfiability (SAT) instances arising from real-world industrial SAT applicati…