@书籍{zbMATH07277672，编辑={Pulina，Luca和Seidl，Martina}，标题={可满足性测试的理论与应用--{SAT}2020。第23届国际会议，{阿尔盖罗}，{意大利}，}2020年7月3-10日。{会议记录}}，F系列＝{计算机科学讲义}，系列={Lect.Notes Compute.Sci.}，ISSN={0302-9743}，体积={12178}，国际标准图书编号={978-3-030-51824-0；978-3-0.30-51825-7}，年份={2020年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-51825-7}，关键词={68-06,68Q25,68R07,68T20,00B25}，zbMATH={7277672}，Zbl={1457.68014}}