Stochastische Lokale Suche bei SAT-Solvern
Stochastische Lokale Suche bei SAT-Solvern
批准号:
206226417
负责人:
Professor Dr. Uwe Schöning
金额:
$0.0万
依托单位国家:
德国
项目类别:
Priority Programmes
财政年份:
2011
资助国家:
德国
项目状态:
已结题
起止时间:
2010-12-31 至 2013-12-31
中文摘要
在求解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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Derandomisierung von Polynomgleichungen
-
批准号:5423284
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Professor Dr. Uwe Schöning
-
依托单位:
Basic investigations about aspects of entropy in algorithms and algorithmic processes
-
批准号:5415839
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2003
-
负责人:Professor Dr. Uwe Schöning
-
依托单位:
Probabilistische Algorithmen und Methoden in der Logik
-
批准号:5378737
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:1997
-
负责人:Professor Dr. Uwe Schöning
-
依托单位:
海外基金