An improved local search algorithm for 3-SAT

T. Brueggemann, Walter Kern

Research output: Book/ReportReportProfessional

Original languageUndefined
Place of PublicationEnschede
PublisherToegepaste Wiskunde
Number of pages14
ISBN (Print)0169-2690
Publication statusPublished - 2004

Publication series

NameMemorandum Afdeling TW
No.1709

Keywords

  • METIS-219682

Cite this

Brueggemann, T., & Kern, W. (2004). An improved local search algorithm for 3-SAT. (Memorandum Afdeling TW; No. 1709). Enschede: Toegepaste Wiskunde.
Brueggemann, T. ; Kern, Walter. / An improved local search algorithm for 3-SAT. Enschede : Toegepaste Wiskunde, 2004. 14 p. (Memorandum Afdeling TW; 1709).
@book{73d9e7a33d67443cb3ba3dec789e7d18,
title = "An improved local search algorithm for 3-SAT",
keywords = "METIS-219682",
author = "T. Brueggemann and Walter Kern",
year = "2004",
language = "Undefined",
isbn = "0169-2690",
series = "Memorandum Afdeling TW",
publisher = "Toegepaste Wiskunde",
number = "1709",

}

Brueggemann, T & Kern, W 2004, An improved local search algorithm for 3-SAT. Memorandum Afdeling TW, no. 1709, Toegepaste Wiskunde, Enschede.

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

Enschede : Toegepaste Wiskunde, 2004. 14 p. (Memorandum Afdeling TW; No. 1709).

Research output: Book/ReportReportProfessional

TY - BOOK

T1 - An improved local search algorithm for 3-SAT

AU - Brueggemann, T.

AU - Kern, Walter

PY - 2004

Y1 - 2004

KW - METIS-219682

M3 - Report

SN - 0169-2690

T3 - Memorandum Afdeling TW

BT - An improved local search algorithm for 3-SAT

PB - Toegepaste Wiskunde

CY - Enschede

ER -

Brueggemann T, Kern W. An improved local search algorithm for 3-SAT. Enschede: Toegepaste Wiskunde, 2004. 14 p. (Memorandum Afdeling TW; 1709).