Stochastische Lokale Suche bei SAT-Solvern

在本课题中，提出了一种求解SAT问题的算法工程方法，并给出了求解SAT问题的具体方法，以解决局部问题。该项目包含三个方面：首先要解决SAT-求解器的有效性和韦尔登。这些韦尔登的国际合作将在卫星会议上进行。在2013年SAT竞赛中。第二，通过实验研究和理论分析，可以得出更好的结论韦尔登，并将其应用于实践，正如应用于理论一样。因此，SAT问题的一般特征是一个NP-问题，而Lokale方法的一般特征，解决了这一问题的结果，也使问题的解决成为韦尔登。

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.