Integrating Conflict Driven Clause Learning to Local Search

Gilles Audenard, Jean-Marie Lagniez, Bertrand Mazure +1

This article introduces SatHyS (SAT HYbrid Solver), a novel hybrid approach for propositional satisfiability. It combines local search and conflict driven clause learning (CDCL) sc…