Lokale Suchverfahren für Constrain Satisfaction Probleme: die min conflicts Heuristik und Tabu Search