Satisfiability

Перевод satisfiability на русский язык

Существительное

The satisfiability of a logical formula is a key concept in computer science.

Удовлетворимость логической формулы является ключевым понятием в информатике.

Существительное

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.

экземпляр удовлетворяемости

Каждый экземпляр удовлетворяемости может быть решен независимо.