4 citations · 5 across the 2 of their papers we have counts for
2 papers
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…
cs.AI2009★ 1 cited
Learning for Dynamic subsumption
Youssef Hamadi, Said Jabbour, Lakhdar Sais
In this paper a new dynamic subsumption technique for Boolean CNF formulae is proposed. It exploits simple and sufficient conditions to detect during conflict analysis, clauses fro…