Title of article :
An improved local search algorithm for 3-SAT
Author/Authors :
Brueggemann، نويسنده , , Tobias and Kern، نويسنده , , Walter، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2004
Abstract :
We slightly improve the pruning technique presented in Dantsin et. al. (2002) to obtain an O ∗ ( 1.473 n ) algorithm for 3-SAT.
Keywords :
3-SAT MSC2000: 68Q25 , Exact algorithm , Local search
Journal title :
Electronic Notes in Discrete Mathematics
Journal title :
Electronic Notes in Discrete Mathematics
