Lösungsplan: SAT-Kodierung

Ansatz:

EQUALITY_CONSTRAINTS ist NP-vollständig, denn:

Verbesserungen (durch Analyse des Gleichheitsgraphen):



2014-03-31