概述
- 编辑：
-
-
谢尔盖·加斯佩斯
-
新南威尔士大学悉尼分校，澳大利亚悉尼
-
托比·沃尔什
-
新南威尔士大学，澳大利亚悉尼
包含在以下会议系列中：
会议记录信息：2017年国家税务总局。
目录（30篇论文）
-
-
算法、复杂性和下限
-
-
- 迪米特里斯·阿奇利奥普塔斯（Dimitris Achlioptas）、帕诺斯·塞奥多罗普洛斯（Panos Theodoropoulos）
第3-19页
-
- Robert Ganian、M.S.Ramanujan、Stefan Szeider
第20-37页
-
- 罗伯特·加尼安（Robert Ganian）、斯特凡·塞德（Stefan Szeider）
第38-52页
-
-
从句学习与对称性处理
-
-
- Guillaume Baud Berthier、Jesús Giráldez Cru、Laurent Simon
第65-82页
-
- Jo Devriendt、Bart Bogaerts、Maurice Bruynooghe
第83-100页
-
- 托米·琼蒂拉（Tommi Junttila）、马蒂·卡帕（Matti Karppa）、佩特里·卡斯基（Petteri Kaski）、朱卡·科霍恩（Jukka Kohonen）
第101-118页
-
- 贾慧亮、哈里·戈文德·V.K.、帕斯卡尔·普帕特、克日什托夫·沙内基、维杰伊·加内什
第119-135页
-
- 伊德托莫·纳贝希玛（Hidetomo Nabeshima）、井上胜美（Katsumi Inoue）
第136-144页
-
最大可满足性和最小修正集
-
-
- Eldan Cohen、Guoyu Huang、J.Christopher Beck
第147-163页
-
- Alexey Ignatiev、Antonio Morgado、Joao Marques-Silva
第164-183页
-
- 亚历山德罗·普雷维蒂（Alessandro Previti）、卡洛斯·门西娅（Carlos Mencía）、马蒂·贾维萨洛（Matti Järvisalo）、若昂·马奎斯·西尔瓦（Joao Marques-Silva）
第184-194页
-
- Miguel Terra-Neves、Inés Lynce、Vasco Manquinho
第195-211页
-
并行SAT求解
-
-
- Gilles Audemard、Jean-Marie Lagniez、Nicolas Szczepanski、Sébastien Tabary
第215-232页
-
- Ludovic Le Frioux、Souheib Baarir、Julien Sopena、Fabrice Kordon
第233-250页
关于这本书
本书构成2017年8月/9月在澳大利亚墨尔本举行的2017年SAT第20届国际可满足性测试理论与应用会议的参考会议记录。
对22份经修订的全文、5份短文和3份工具文件进行了仔细审查，并从64份提交文件中选出。论文分为以下主题部分：算法、复杂性和下限；小句学习与对称处理；最大可满足性和最小修正集；并行SAT求解；量化布尔公式；可满足性模理论；和SAT编码。
编辑和附属机构
-
新南威尔士州悉尼，澳大利亚悉尼
谢尔盖·加斯佩斯
-
澳大利亚悉尼新南威尔士大学
托比·沃尔什
