Страница публикации

Improving Implementation of SAT Competitions 2017–2019 Winners

Тип публикации: Статья в журнале

Тип материала: Текст

Авторы: Kochemazov S.

Журнал: Lecture Notes in Computer Science

Язык публикации: english

Том: 12178

Номера страниц: 139-148

Количество страниц: 10

Год публикации: 2020

Отчетный год: 2020

DOI: 10.1007/978-3-030-51825-7_11

Аннотация: The results of annual SAT competitions are often viewed as the milestones showcasing the progress in SAT solvers. However, their competitive nature leads to the situation when the majority of this year’s solvers are based on previous year’s winner. And since the main focus is always on novelty, it means that there are times when some implementation details have a potential for improvement, but they are just inherited from solver to solver for several years in a row. In this study we propose small modifications of implementations of existing heuristics in several related SAT solvers. These modifications mostly consist in employing a deterministic strategy for switching between branching heuristics and in augmentations of the treatment of Tier2 and Core clauses. In our experiments we show that the proposed changes have a positive effect on solvers’ performance both individually and in combination with each other.

Индексируется WOS: Нет

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Да

Индексируется ВАК: Нет

Индексируется CORE: Нет