{"type":"ScholarlyArticle","title":"Performance Test of Local Search Algorithms Using New Types of Random CNF Formulas","authors":[{"name":"Byungki Cha","slug":"byungki-cha","given":"Byungki","family":"Cha","affiliation":""},{"name":"Kazuo Iwama","slug":"kazuo-iwama","given":"Kazuo","family":"Iwama","affiliation":""}],"abstract":"New types of test -instance generators have been developed for gene rating random CNF (Conjunctive Normal Form) formulas with controlled attributes. In this paper, we use these generators to test the performance of localsearch-based SAT algorithms. For this purpose, the generator which produces formulas having exactly one satisfying truth assignment is especially desirable. It is shown that (i) among several different strategies of local search, the weighting strategy is overwhelmingly faster than the others and that (ii) local search works significantly better for instances of larger clause/variable ratio, which allows us to come up with a new strategy for making local search even faster .","doi":null,"url":"https://ijcai.org/proceedings/1995/40","pdf":"https://ijcai.org/proceedings/1995/0040.pdf","markdown":"https://ijcai.org/proceedings/1995/40.md","bibtex":"https://ijcai.org/proceedings/1995/bibtex/40","volume":{"slug":"1995","title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1995","url":"https://ijcai.org/proceedings/1995/","year":1995,"location":"Montréal, Québec, Canada","dates":"","editors":"Chris S. Mellish","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Reasoning","track":"Automated Reasoning","number":40,"pages":{"first":304,"last":310},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}