An improved local search algorithm for 3-SAT

  • T. Brueggemann
  • , W. Kern

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

1   Link opens in a new tab Citation (Scopus)
221 Downloads (Pure)
  • 1 Citations
  • 1 Conference contribution
Filter
Conference contribution

Search results

  • 2004

    An improved local search algorithm for 3-SAT

    Brueggemann, T. & Kern, W., 2004, Workshop on Graphs and Combinatorial Optimization (CTW04): 31 May 2004, Como, Italy. Elsevier, p. 69-73 (Electronic Notes in Discrete Mathematics; vol. 17).

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

    10 Downloads (Pure)