Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms for subject Programming containing решатель задач | all forms | exact matches only | in specified order only
RussianEnglish
библиотека решателей задач удовлетворения ограниченийlibrary of constraint solvers
параллельный решатель задач удовлетворения ограниченийparallel CSP solver (CSP – сокр. от "constraint satisfaction problem"; IBM Alex_Odeychuk)
параллельный решатель численных задач удовлетворения ограниченийparallel numerical constraint solver (IBM Alex_Odeychuk)
решатель задач выполнимости формул в комбинации теорийSMT solver (Alex_Odeychuk)
решатель задач выполнимости формул с учётом лежащих в их основе теорийSMT solver (IBM Alex_Odeychuk)

Get short URL