-
English
-
Russian
-
English
-
Russian
Satisfiability
Translation satisfiability into russian
satisfiability
Noun
The satisfiability of a logical formula is a key concept in computer science.
Удовлетворимость логической формулы является ключевым понятием в информатике.
Definitions
satisfiability
Noun
The quality or state of being able to be satisfied or fulfilled.
The satisfiability of the customer's demands was a priority for the company.
In logic and computer science, the property of a logical formula that determines whether there is an interpretation that makes the formula true.
The satisfiability of the equation was confirmed after several tests.
Idioms and phrases
boolean satisfiability
Boolean satisfiability is a fundamental problem in computer science.
булева удовлетворяемость
Булева удовлетворяемость является фундаментальной проблемой в информатике.
problem satisfiability
The problem satisfiability was solved using advanced algorithms.
удовлетворяемость задачи
Удовлетворяемость задачи была решена с использованием продвинутых алгоритмов.
satisfiability testing
Satisfiability testing is essential for verifying logical formulas.
тестирование удовлетворяемости
Тестирование удовлетворяемости необходимо для проверки логических формул.
satisfiability algorithm
A new satisfiability algorithm has been developed to improve efficiency.
алгоритм удовлетворяемости
Новый алгоритм удовлетворяемости был разработан для повышения эффективности.
satisfiability instance
Each satisfiability instance can be solved independently.
экземпляр удовлетворяемости
Каждый экземпляр удовлетворяемости может быть решен независимо.
Examples
- Proofs in Satisfiability Modulo Theories
Компьютеры - Satisfiability Modulo Theories
Foundations of Satisfiability Modulo Theories
Компьютеры - Satisfiability Modulo Theories
Temporal Planning by Satisfiability modulo Theories
Компьютеры - Satisfiability Modulo Theories
Steven Cook [365] proved that the Satisfiability problem (given a propositional Boolean formula, is there a way to assign truth values to the variables that makes the formula true?) is NP-complete .
Стивен Кук (Steven Cook) доказал [365], что проблема Выполнимости (Satisfiability problem, дано правильное логическое выражение, существует ли способ присвоить правильные значения входящим в него переменным так, чтобы все выражение стало истиной?) является NP-полной.
The problem of propositional satisfiability (SAT) is the classic NP-complete problem.
Задача пропозициональной выполнимости (satisfiability problem, SAT) является одной из наиболее известных NP-полных задач.