satisfiability | |
gen. | выполнимость |
data.prot. | выполнимость требований |
el. | выполнимость всех условий; возможность выполнения всех условий |
energ.ind. | выполнимость |
Makarov. | возможность удовлетворить |
math. logic | применимость |
modulo | |
IT | коэффициент; показатель степени; остаток целочисленного деления |
theory | |
chem. | теория |
| |||
выполнимость | |||
выполнимость требований | |||
выполнимость всех условий; возможность выполнения всех условий | |||
выполнимость (напр., условий задачи) | |||
возможность удовлетворить (напр., условиям) | |||
применимость | |||
выполнимость (задача распознавания из булевской логики) |
satisfiability modulo theories : 37 phrases in 4 subjects |
Artificial intelligence | 26 |
Information technology | 3 |
Mathematics | 5 |
Programming | 3 |