Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
In this paper we present a new randomized algorithm for SAT combining unit clause elimination and local search. The algorithm is inspired by two randomized algorithms having the best current worst-case upper bounds ([9] and [11,12]). Despite its simplicity, our algorithm performs well on many common benchmarks (we present results of its empirical evaluation). It is also probabilistically approximately complete.
| Язык оригинала | английский |
|---|---|
| Название основной публикации | Principles and Practice of Constraint Programming - CP 2001 - 7th International Conference, CP 2001, Proceedings |
| Редакторы | Toby Walsh |
| Издатель | Springer Nature |
| Страницы | 605-609 |
| Число страниц | 5 |
| ISBN (печатное издание) | 3540428631, 9783540428633 |
| Состояние | Опубликовано - 1 янв 2001 |
| Событие | 7th International Conference on Principles and Practice of Constraint Programming, CP 2001 - Paphos, Кипр Продолжительность: 26 ноя 2001 → 1 дек 2001 |
| Название | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Том | 2239 |
| ISSN (печатное издание) | 0302-9743 |
| ISSN (электронное издание) | 1611-3349 |
| конференция | 7th International Conference on Principles and Practice of Constraint Programming, CP 2001 |
|---|---|
| Страна/Tерритория | Кипр |
| Город | Paphos |
| Период | 26/11/01 → 1/12/01 |
ID: 49829404