SAT-Kodierung: Anzahl-Constraints

count$\scriptstyle \ge$k(p1,..., pn) = wenigstens k der n Variablen sind wahr.

(entspr. count=k, count$\scriptstyle \le$k)

Anwendung: größte unabh. Menge von Springern?



2009-06-22