### Abstract

Original language | Undefined |
---|---|

Place of Publication | Enschede |

Publisher | University of Twente, Department of Applied Mathematics |

Publication status | Published - 2004 |

### Publication series

Name | |
---|---|

Publisher | Department of Applied Mathematics, University of Twente |

No. | 1709 |

ISSN (Print) | 0169-2690 |

### Keywords

- MSC-68Q25
- IR-65894
- EWI-3529

### Cite this

*An improved local search algorithm for 3-SAT*. Enschede: University of Twente, Department of Applied Mathematics.

}

*An improved local search algorithm for 3-SAT*. University of Twente, Department of Applied Mathematics, Enschede.

**An improved local search algorithm for 3-SAT.** / Brueggemann, T.; Kern, Walter.

Research output: Book/Report › Report › Other research output

TY - BOOK

T1 - An improved local search algorithm for 3-SAT

AU - Brueggemann, T.

AU - Kern, Walter

N1 - Imported from MEMORANDA

PY - 2004

Y1 - 2004

N2 - We slightly improve the pruning technique presented in Dantsin et. al. (2002) to obtain an $\mathcal{O}^*\left(1.473^n\right)$ algorithm for 3-SAT.

AB - We slightly improve the pruning technique presented in Dantsin et. al. (2002) to obtain an $\mathcal{O}^*\left(1.473^n\right)$ algorithm for 3-SAT.

KW - MSC-68Q25

KW - IR-65894

KW - EWI-3529

M3 - Report

BT - An improved local search algorithm for 3-SAT

PB - University of Twente, Department of Applied Mathematics

CY - Enschede

ER -