Abschlussarbeit

Beschreibung:

Die meisten Solver in den jüngsten Argumentation-Wettbewerben reduzieren das Problem, eine stabile Extension zu finden, auf SAT oder ASP. In dieser Bachelorarbeit wird WallEParBt vorgestellt, ein Solver, der stabile Extensionen direkt auf dem Argumentationsgraphen mittels parallelem Backtracking lösen kann. Hierbei wird untersucht, wie sich Parallelisierung und Preprocessing auf verschiedene Graphstrukturen auswirken. WallEParBt wird dazu auf dem kompletten ICCMA-2025 Benchmark gegen einige der leistungsstärksten Solver aus dem Main Track des ICCMA-2025-Wettbewerbs evaluiert.