“可满足性测试的理论与应用——2018年第21届SAT……”
奥拉夫·拜尔斯多夫 , 克里斯托弗·温特斯泰格 :
可满足性测试理论与应用-2018年SAT-2018年第21届国际会议,作为联邦逻辑会议的一部分,2018年7月9日至12日在英国牛津举行,会议记录。 计算机科学讲义 10929, 施普林格 2018 ,国际标准图书编号 978-3-319-94143-1 [目录]
由于引用数据不可用,以下列表可能不完整, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。