проверить выполнимость

Terms containing проверить выполнимость | all forms | exact matches only | in specified order only

Subject	Russian	English
AI.	проверить выполнимость	check satisfiability (напр., формул в теориях Alex_Odeychuk)
AI.	проверить выполнимость логических формул	check satisfiability of logical formulas (Alex_Odeychuk)