Using conflict and support counts for variable and value ordering in CSPs. - Ket Wei Yong; Malek Mouhoub (Appl. Intell., 2018)