来週開催のSAT2017の予稿集が9/24まで http://sat2017.gitlab.io/proceedings/ から無料でダウンロード可能。
個人的に気になったのは、
MaxSAT関係の
- Alexey Ignatiev, Antonio Morgado and Joao Marques-Silva. On Tackling the Limits of Resolution in SAT Solving
MCS関係の
- Alessandro Previti, Carlos Mencia, Matti Järvisalo and Joao Marques-Silva. Improving MCS Enumeration via Caching
- Miguel Terra-Neves, Inês Lynce and Vasco Manquinho. Introducing Pareto Minimal Correction Subsets
MapleSAT (参考: https://plus.google.com/+MasahiroSakai/posts/86P14CJM9x9 ) の人たちの
- Jia Liang, Vijay Ganesh, Krzysztof Czarnecki, Pascal Poupart and Hari Govind V K. An Empirical Study of Branching Heuristics through the Lens of Global Learning Rate
- Saeed Nejati, Zack Newsham, Joseph Scott, Jia Liang, Catherine Gebotys, Pascal Poupart and Vijay Ganesh. A Propagation Rate based Splitting Heuristic for Divide-and-Conquer Solvers
あたりかな。
DQBF関係とかもちょっと気になるけれど。