突出论文奖：

冲突驱动型答案集问题的解决：从理论到现实

作者：Martin Gebser , Benjamin Kaufmann, Torsten Schaub

答案集编程（ASP）为一系列组合问题的表达提供了一种强力、简洁的语言。本文介绍了一种面向计算逻辑程序答案集的新方法，这些答案集成功应用于可满足性检测的应用上。该方法通过ASP求解器CLASP实施，目前已经在数次竞赛中获胜，同时扩展了能够以答案集编程方法实施有效建模和解决的范围。

• 从韩春雨被指涉买卖论文说起：没科学精神就没了底线
• 韩春雨自称“代笔博士论文收费七千” 还欲组织学生买卖论文
• 不懂脂肪怎么减肥，脂肪最佳燃烧时间点，看好时间练瑜伽效果好
• 【重磅】2018第十六届新财富最佳分析师评选已进入资格审计阶段，
• 是论文的压力让我被迫当起了「导演」
• 防近视没有捷径 最佳方法是：每天户外运动两小时
• 睡多久决定你的健康和寿命，看看最佳睡眠时长
• 三研究生轻信“代发论文”被陌生网友骗走3.5万元
• 记者卧底写手群揭秘代写论文江湖 本科包过只需800元
• 记者卧底写手群揭秘代写论文江湖 本科包过论文800元