Scifaro

中文

对《MaxSAT 的增量基数约束》一文的反思

计算机科学中的逻辑 2019-10-11 v1 人工智能

作者: Ruben Martins , Saurabh Joshi , Vasco Manquinho , Ines Lynce

在 arXiv 上查看 ↗ PDF ↗

摘要

为庆祝国际约束规划原理与实践会议（CP）创办 25 周年，编辑邀请了每年被引最多的论文作者撰写对其论文的评论。本报告描述了我们对 CP 2014 论文《MaxSAT 的增量基数约束》及其对最大可满足性（Maximum Satisfiability）领域及更广泛影响的反思。

关键词

MaxSAT 增量基数约束约束规划反思性评论 CP 会议

引用

@article{arxiv.1910.04643,
  title  = {Reflections on "Incremental Cardinality Constraints for MaxSAT"},
  author = {Ruben Martins and Saurabh Joshi and Vasco Manquinho and Ines Lynce},
  journal= {arXiv preprint arXiv:1910.04643},
  year   = {2019}
}

备注

10 pages, 1 algorithm, 1 table, 4 figures, article invited as part of "Virtual Volume" for 25th anniversary of CP