Local Search Based on Conflict Analysis for the Satisfiability Problem.

Djamal Habet, Donia Toumi

Browse the full ICTAI paper archive.