机译:Oligomorphic克隆的方程和欧米茄分类结构的约束满足问题
Charles Univ Prague MFF UK Dept Algebra Sokolovska 83 Prague 18600 8 Czech Republic;
Charles Univ Prague MFF UK Dept Algebra Sokolovska 83 Prague 18600 8 Czech Republic;
Charles Univ Prague MFF UK Dept Algebra Sokolovska 83 Prague 18600 8 Czech Republic;
Vietnam Acad Sci &
Technol Inst Math Dept Math Comp Sci Hanoi Vietnam;
TU Wien Inst Diskrete Math &
Geometrie FG Algebra Vienna Austria;
Constraint satisfaction problem; dichotomy conjecture; polymorphism clone; Mal'cev condition; omega-categoricity; orbit growth; model-complete core;
机译:Omega分类结构的低聚克隆和约束满足问题的方程
机译:有限代数上的泰勒项,约束满足和多项式方程的复杂性
机译:封闭参数常微分方程解的约束满足方法
机译:基于约束满意度和间隔连续时间奇偶校验方程的强大故障诊断
机译:约束满足问题中的约束结构。
机译:具有网格先验约束的欠定方程组的解
机译:通用齐次约束结构和同等对等 一类弱的寡形结构