An improved local search algorithm for 3-SAT

Tobias Brueggemann
, Walter Kern

Discrete Mathematics and Mathematical Programming

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

10 Downloads (Pure)

1 Report

1 results

2004
An improved local search algorithm for 3-SAT
Brueggemann, T. & Kern, W., 2004, Enschede: University of Twente. 14 p. (Memorandum; no. 1709)
Research output: Book/Report › Report › Other research output

Open Access
File
1 Citation (Scopus)

221 Downloads (Pure)