Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
We give a deterministic algorithm for testing satisfiability of Boolean formulas in conjunctive normal form with no restriction on clause length. Its upper bound on the worst-case running time matches the best known upper bound for randomized satisfiability-testing algorithms [6]. In comparison with the randomized algorithm in [6], our deterministic algorithm is simpler and more intuitive.
| Язык оригинала | английский |
|---|---|
| Название основной публикации | Algorithms and Complexity - 6th Italian Conference, CIAC 2006, Proceedings |
| Издатель | Springer Nature |
| Страницы | 60-68 |
| Число страниц | 9 |
| ISBN (печатное издание) | 354034375X, 9783540343752 |
| DOI | |
| Состояние | Опубликовано - 1 янв 2006 |
| Событие | 6th Italian Conference on Algorithms and Complexity, CIAC 2006 - Rome, Италия Продолжительность: 29 мая 2006 → 31 мая 2006 |
| Название | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Том | 3998 LNCS |
| ISSN (печатное издание) | 0302-9743 |
| ISSN (электронное издание) | 1611-3349 |
| конференция | 6th Italian Conference on Algorithms and Complexity, CIAC 2006 |
|---|---|
| Страна/Tерритория | Италия |
| Город | Rome |
| Период | 29/05/06 → 31/05/06 |
ID: 49828074