...
机译:基于翻译的解决带有偏好的析取时间问题的方法
DIBRIS Univ Genova, Viale F Causa 15, Genoa, Italy;
DIBRIS Univ Genova, Viale F Causa 15, Genoa, Italy;
POLCOMING Univ Sassari, Viale Mancini 5, I-07100 Sassari, Italy;
Disjunctive temporal problems; Preferences;
机译:使用最大可满足性来解决带有偏好的析取性时间问题
机译:知识图嵌入:一种基于本地和临时自适应翻译的方法
机译:结合解决方法和定性偏好来解决可满足性问题
机译:使用布尔优化求解器解决偏好的偏离时间问题
机译:遗传学中解决问题能力与编码和推理相关的命题推理的关系
机译:水中离子溶剂化的原子模拟解释了卤化物的表面偏好
机译:用偏好解决析出时间问题的转换方法
机译:具有偏好的可追踪时间约束的两个求解器