原名:Solving mathematical problems with SAT by Oliver Kullmann
作品简介:大量使用 SAT 所带来的 SAT 问题不仅非常大，而且通常也非常难。然而，过去 20 年来 SAT 解决的成功集中在以下问题上。 （非常）大，但确实（相对）简单——这些方法积极追求“简单”……
资源下载
VIP免费升级VIP
原名:Solving mathematical problems with SAT by Oliver Kullmann
作品简介:大量使用 SAT 所带来的 SAT 问题不仅非常大，而且通常也非常难。然而，过去 20 年来 SAT 解决的成功集中在以下问题上。 （非常）大，但确实（相对）简单——这些方法积极追求“简单”……
![arXiv:1708.04109v1 [cs.GT] 2017 年 8 月 14 日解决涉及…的硬稳定匹配问题](http://www.bestbookpdf.com/wp-content/uploads/2023/08/19/19031737569.jpg)
