Praktikum (SS 2007):
Effiziente Algorithmen für SAT
und CSP
Schöning, Balint
|
Praktikum (SS 2007): |
Die Themen werden innerhalb der Vorbesprechung in der ersten Woche ausgesucht.
| Stochastische Lokale Suche für SAT | GSAT und Varianten davon |
| HSAT und HWSAT | |
| WalkSAT und Varianten davon | |
| Dynamische Lokale Suche für SAT | GSAT mit Klauselngewichten |
| Guided Local Search (GLS) | |
| The Discrete Lagrangian Method | |
| Scaling and Probabilistic Smoothing (SAPS) | |
| DPL -Algorithmen für SAT |
wird noch bekanntgegeben