Satisfiability

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

satisfiability

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

/ˌsætɪsfaɪəˈbɪlɪti/

/ˌsætɪsfaɪəˈbɪləti/

satisfiability

satisfiabilities множ.

удовлетворимость

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

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

Опеределения

satisfiability

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

/ˌsætɪsfaɪəˈbɪlɪti/

/ˌsætɪsfaɪəˈbɪləti/

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 formula or set of constraints that is true under at least one interpretation or assignment of values.

The satisfiability of the formula was verified by the SAT solver.

satisfiability

Прилагательное

/ˌsætɪsfaɪəˈbɪlɪti/

/ˌsætɪsfaɪəˈbɪləti/

Relating to or involving the satisfiability of logical formulas or problems.

Researchers focused on satisfiability algorithms presented their latest results.

Идиомы и фразы

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.

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

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