1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Satisfiability inBoolean Logic (SATproblem) isPolynomial : научноеиздание Rybakov Vladimir V.2021 год

Satisfiability in Boolean Logic (SAT problem) is Polynomial : научное издание
статья из журнала

Дополнительные ссылки: eLibrary · WOS · Scopus. All Open Access, Bronze
База данных: Каталог библиотеки СФУ
Библиографическое описание: Satisfiability in Boolean Logic (SAT problem) is Polynomial : научное издание / Vladimir V. Rybakov. - Текст : непосредственный // Журнал Сибирского федерального университета. Серия: Математика и физика = Journal of Siberian Federal University - Mathematics and Physics. - 2021. - Т. 14, № 5. - P. 667-671. - Cited Reference Count: 12. - This research is supported by High Schools of Economics (HSE) Moscow; supported by the Krasnoyarsk Mathematical Center and financed by the Ministry of Science and Higher Education of the Russian Federation (Grant No. 075-02-2020-1534/1). - Krasnoyarsk Mathematical Center. - ISSN 1997-1397. - ISSN 2313-6022, DOI 10.17516/1997-1397-2021-14-5-667-671.
Аннотация: We find a polynomial algorithm to solve SAT problem in Boolean Logic.
Находится полиномиальный алгоритм решающий проблему SAT в Булевой логикуе.
We find a polynomial algorithm to solve SAT problem in Boolean Logic. © Siberian Federal University. All rights reserved.
Год издания: 2021
Авторы: Rybakov Vladimir V.
Издательство: Сибирский федеральный университет, Красноярск
Источник: Журнал Сибирского федерального университета. Серия: Математика и физика
Выпуск: Т. 14, № 5
Номера страниц: 667-671
Держатель оригинала документа: A. P. Ershov Institute of Informatics Systems, Siberian Federal University
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

Похожие публикации

Satisfiability in Boolean Logic (SAT problem) is polynomial? : статья из журнала

  • Rybakov Vladimir
  • 2021 год
SatisfiabilityProblem in IntervalFP-logic Protsenko Nikita A.Rybakov Vladimir V.Rimatskiy Vitaliy V.2023 год

Satisfiability Problem in Interval FP-logic : научное издание

  • Protsenko Nikita A. и др.
  • 2023 год

Satisfiability in a Temporal Multi-valueted Logic Based on Z : статья из журнала

  • Kiyatkin Vladimir и др.
  • 2022 год
The SatisfiabilityProblem in LinearMulti-agent KnowledgeLogic Based on N Protsenko Nikita A.Rybakov Vladimir V.2024 год

The Satisfiability Problem in Linear Multi-agent Knowledge Logic Based on N : научное издание

  • Protsenko Nikita A. и др.
  • 2024 год
Многоагентныевременные логики,проблемы унификации идопустимости Рыбаков Владимир Владимирович2022 год

Многоагентные временные логики, проблемы унификации и допустимости : научное издание

  • Рыбаков Владимир Владимирович
  • 2022 год
Formulas ExpressingTotally NonstableTruth Values ofFormulas Rybakov Vladimir V.Kiyatkin Vladimir R.Grekovich Konstantin V.2023 год

Formulas Expressing Totally Nonstable Truth Values of Formulas : научное издание

  • Rybakov Vladimir V. и др.
  • 2023 год
Логики ветвящегосявременисмультиагентнымиотношениями временнойдостижимости Рыбаков Владимир Владимирович2021 год

Логики ветвящегося временис мультиагентными отношениями временной достижимости : научное издание

  • Рыбаков Владимир Владимирович
  • 2021 год

Multi-Agents` Temporal Logic using Operations of Static Agents` Knowledge : статья из журнала

  • Rybakov Vladimir
  • 2022 год

Показать ещё

UNIFICATION PROBLEMIN NELSON’S LOGIC N4 Odintsov S.P.Rybakov V.V.2014 год

UNIFICATION PROBLEM IN NELSON’S LOGIC N4 : научное издание

  • Odintsov S.P. и др.
  • 2014 год
The SatisfiabilityProblem in LinearMulti-agent KnowledgeLogic Based on N Protsenko Nikita A.Rybakov Vladimir V.2024 год

The Satisfiability Problem in Linear Multi-agent Knowledge Logic Based on N : статья из журнала

  • Protsenko Nikita A. и др.
  • 2024 год
Multiagent TemporalLogics, UnificationProblems, andAdmissibilities Rybakov V.V.2022 год

Multiagent Temporal Logics, Unification Problems, and Admissibilities : научное издание

  • Rybakov V.V.
  • 2022 год
On Length of BooleanFunctions of a SmallNumber of Variablesin the Class ofPseudo-Polynomials Selezneva SvetlanaLobanov Aleksey2020 год

On Length of Boolean Functions of a Small Number of Variables in the Class of Pseudo-Polynomials : статья из журнала

  • Selezneva Svetlana и др.
  • 2020 год
Interval Multi-agentLogic withReliability Operator Kiyatkin Vladimir R.Rybakov Vladimir V.2024 год

Interval Multi-agent Logic with Reliability Operator : научное издание

  • Kiyatkin Vladimir R. и др.
  • 2024 год
Разрешимостьмногоагентной логикидеревьев вычисленийCTLKRel Башмаков Степан ИгоревичСмелых Кирилл Александрович2026 год

Разрешимость многоагентной логики деревьев вычислений CTLKRel : научное издание

  • Башмаков Степан Игоревич и др.
  • 2026 год

Interval Multi-agent Logic with Reliability Operator : статья из журнала

  • Kiyatkin Vladimir и др.
  • 2024 год
Мультиагентныевременныенетранзитивныелинейные логики,проблема допустимости Рыбаков Владимир Владимирович2020 год

Мультиагентные временные нетранзитивные линейные логики, проблема допустимости : научное издание

  • Рыбаков Владимир Владимирович
  • 2020 год