Stochastische Lokale Suche bei SAT-Solvern

在求解sat算法的工程方法中，特别提出了求解sat算法、求解sat算法、求解sat算法等方法。项目研究进展见第3期：Zum ersten soleneffizientere sat - solerver entwickelet和implemententweden。中国科学院国际科学技术研究所SAT-Konferenz präsentiert bzw。2013年全国sat考试。Zweitens， die lcke zwischen den bei algorithman - experimenten bebacachteten Laufzeiten和den theoretical tischen Analysen der触发Algorithmen soll weiter geschlossen werden；因此，我们可以从实践出发，从理论出发。zm编写的，wegen des generischen characters des SAT-Problems也在NP-vollständiges Problem中，而zh编写的，wegen des generischen characters der Lokale - such - method， sollen die erzielten Resultate ermöglichen中，每个auder Problemstellungen angeewandt werden。

In diesem Projekt wird die Algorithm Engineering Methode auf SAT-Solving angewandt, und zwar speziell auf solche SAT-Algorithmen, die auf dem Konzept der lokalen Suche beruhen. Die Ziele des Projekts gliedern sich in 3 Punkte: Zum ersten sollen effizientere SAT-Solver entwickelt und implementiert werden. Diese werden der internationalen Szene auf der SAT-Konferenz präsentiert bzw. bei dem SAT-Kontest 2013 eingereicht. Zweitens, die Lücke zwischen den bei Algorithmen-Experimenten beobachteten Laufzeiten und den theoretischen Analysen derartiger Algorithmen soll weiter geschlossen werden; und dies ebenso auf der praktischen wie auf der theoretischen Seite. Zum dritten, wegen des generischen Charakters des SAT-Problems als ein NP-vollständiges Problem, und ebenso, wegen des generischen Charakters der Lokale Such-Methode, sollen die erzielten Resultate es ermöglichen, auch auf andere Problemstellungen angewandt zu werden.