IST/INESC-ID, Lisbon, Portugal,ISDCT SB RAS, Irkutsk, Russia;
IST/INESC-ID, Lisbon, Portugal;
IST/INESC-ID, Lisbon, Portugal,University College Dublin, Ireland;
机译:量化的最大可满足性
机译:配置格局分析和骨干引导的本地搜索。第一部分:满意度和最大满意度
机译:对中国空气污染数据量化操纵的最大似然方法
机译:量化最大可靠性:核心引导方法
机译:在可满足性模理论中求解量化的一阶公式。
机译:查找最大公共子图来自分子结构通过最大派系方法与Ising结合的公式模型
机译:统一推理和核心引导搜索最大可靠性