Backdoor-Setgröße

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Die minimale Kardinalität einer Menge von propositionalen Variablen, sodass durch eine Belegung dieser Variablen die Instanz in eine festgelegte lösbare Teilklasse (z. B. Horn, 2-SAT) überführt wird.