HIGHLIGHTS
- who: Popov V. from the Department of Intelligent Systems and Robotics Ural Federal University , Ekaterinburg, Russia have published the article: GSAT with adaptive score function, in the Journal: (JOURNAL)
SUMMARY
Keyword s: adaptive score function, GSAT, satisfiability Investigation of efficient satisfiability algorithms and encoding different hard problems as instances of satisfiability has caused considerable interest recently (see e_g_[1, 2]). Although, some modification of the score function are considered, usually, the score function is the number of clauses of formula which are falsified by the truth assignment (see e_g_[4]). The authors consider . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.