-
Английский
-
Русский
-
Английский
-
Русский
Satisfiability
Перевод satisfiability на русский язык
satisfiability
Существительное
The satisfiability of a logical formula is a key concept in computer science.
Удовлетворимость логической формулы является ключевым понятием в информатике.
Опеределения
satisfiability
Существительное
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.
Идиомы и фразы
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.
экземпляр удовлетворяемости
Каждый экземпляр удовлетворяемости может быть решен независимо.
Примеры
- 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
The problem of propositional satisfiability (SAT) is the classic NP-complete problem.
Задача пропозициональной выполнимости (satisfiability problem, SAT) является одной из наиболее известных NP-полных задач.
Satisfiability (SAT) problem is an NP-complete problem.
Задача пропозициональной выполнимости (satisfiability problem, SAT) является одной из наиболее известных NP-полных задач.