most citedIntegrating Conflict Driven Clause Learning to Local Search

4 citations · 4 across the 1 of their papers we have counts for

collaborators

1 paper

cs.AI2009★ 4 cited

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…