Local search and restart strategies for satisfiability solving in fuzzy logics | IEEE Conference Publication | IEEE Xplore