机译:利用变量消除有效推理定性约束
Orebro Univ MPI AASS Orebro Sweden;
Southwest Jiaotong Univ Chengdu Sichuan Peoples R China;
Univ Technol Sydney QSI Sydney NSW Australia;
机译:利用变量消除有效推理定性约束
机译:在约束优化和约束满足问题中使用变量消除来促进搜索
机译:基于立即约束的定性空间和时间推理的推论
机译:定性CSP,有限CSP和SAT:基于定性约束的推理的比较方法
机译:基于约束的时间推理的有效和表达性扩展。
机译:使用广义线性模型利用基线变量的随机试验中简单有效的治疗效果估算器
机译:利用定性推理来改善SFL
机译:时间定性推理的有效算法