Inst. Fuer Informationssysteme Technische Universitat Wien A-1040 Vienna, Austria;
Dip. Di Matematica Universita della Calabria I-87030 Rende, Italy;
DEIS Universita della Calabria I-87030 Rende, Italy;
机译:量化约束满足的复杂性:可折叠性,汇代数和三元素情况
机译:基于非线性约束满足和区间算法的结构识别,基于不确定性的基于振动的损伤检测
机译:表征由2约束禁止模式定义的约束满足问题的复杂性
机译:结构限制下量化约束满足问题的复杂性
机译:随机约束满足问题的解析复杂度
机译:生化模型的不变量和其他结构性质作为约束满足问题
机译:量化约束满足的复杂性:可折叠性, sink algebras和三元素案例