| 人工智能 |
satisfiability modulo theories problem (Alex_Odeychuk); SMT problem (сокр. от "satisfiability modulo theories problem" Alex_Odeychuk); satisfiability modulo theories (задача выполнимости логической формулы, выраженной в классической логике первого порядка с равенством, при наличии дополнительных соотношений, заданных при помощи определенных теорий; часто используемыми на практике примерами теорий являются теории вещественных и целых чисел, а также теории поведения различных структур данных, таких как списки, массивы, битовые вектора и т.д. Alex_Odeychuk); SMT (сокр. от "satisfiability modulo theories" Alex_Odeychuk) |
