Search Results for author: Huimin Fu

Found 1 papers, 0 papers with code

Improving probability selecting based weights for Satisfiability Problem

no code implementations30 Jul 2020 Huimin Fu, Yang Xu, Jun Liu, Guanfeng Wu, Sutcliffe Geoff

SelectNTS is an improved probability selecting based local search algorithm for SAT problem.

Variable Selection

Cannot find the paper you are looking for? You can Submit a new open access paper.