
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.
экземпляр удовлетворяемости
Каждый экземпляр удовлетворяемости может быть решен независимо.