On Starting Population Selection for GSAT
Anna Gorbenko, Vladimir Popov · Applied Mechanics and Materials · 2013
GSAT is a well-known satisfiability search algorithm for conjunctive normal forms. GSAT uses some random functions. One of such functions is a function of starting population of truth assignments for the variables of conjunctive normal form. In this paper, we consider a method of artificial physics optimization for computing a function of starting population.