Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / WS 2009/10 / Oberseminar / Jan Johannsen: Lower bounds for width-restricted clause learning


Inhaltsbereich

Jan Johannsen: Lower bounds for width-restricted clause learning

05.03.2010 14:15
Wann 14:15 15:45 05.03.2010
von bis
Wo Z1.09 (neu: L109)
Termin übernehmen vCal
iCal
Clause learning is a technique used by backtracking-based propositional satisfiability solvers, where some clauses obtained by an analysis of conflicts are added to the formula during backtracking. It has been observed empirically that clause learning does not significantly improve the performance of a solver when restricted to learning clauses of small width only. This experience is supported by several lower bound theorems.

Artikelaktionen

abgelegt unter:

Funktionsleiste