Search
 
loader loading subjects...
cover
A Two-Levels Local Search Algorithm for Random SAT Instances with Long Clauses
André Abramé, Djamal Habet, Donia Toumi
11 - 20
10.3233/978-1-61499-421-3-11
Frontiers in Artificial Intelligence and Applications
Volume 264: STAIRS 2014
Abstract

We present a local search algorithm exploiting two efficient solvers for SAT. The first one is based on the configuration checking strategy and the second one on an algorithm of the Walksat family. This new solver is dedicated to solve random k-SAT instances, such that k ≥ 4. We have carried tests on the instances of the SAT Challenge 2012. The obtained results confirm the relevance of our approach.

Download
Creative Commons License