Sign in | English | Terms of Use
DictionaryForumContacts
Google | Forvo | +
to phrases

SMT problem

stresses
AI. задача выполнимости формул в теориях (сокр. от "satisfiability modulo theories problem" Alex_Odeychuk)
SMT problem
: 2 phrases in 1 subject
Artificial intelligence2

Add | Report an error | Get short URL