Terms for subject Artificial intelligence containing задача сопоставления

Russian	English
объективное средство сопоставления производительности различных решателей задач выполнимости формул в теориях	objective means of comparing SMT solvers (контекстуальный перевод на русс. язык Alex_Odeychuk)