Local search and restart strategies for satisfiability solving in fuzzy logics. - Brys, Tim; Drugan, Madalina M.; Bosman, Peter A. N.; Cock, Martine De; Nowé, Ann (2013)