Title of article
An improved local search algorithm for 3-SAT
Author/Authors
Brueggemann، نويسنده , , Tobias and Kern، نويسنده , , Walter، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
5
From page
69
To page
73
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
Serial Year
2004
Journal title
Electronic Notes in Discrete Mathematics
Record number
1453672
Link To Document