Inkrementelle SAT-Instanzgenerierung für den Hochgeschwindigkeitstest mit PaderSAT

Abgeschlossene Abschulssarbeiten - Details

Studierende: Melanie Jung
Betreuer: Jan Dennis Reimer

Beschleunigung des PaderSAT-ATPGs mithilfe von inkrementeller Instanzgenerierung.