“可满足性测试的理论与应用——SAT 2007年第10期……”
乔安·马奎斯·西尔瓦 , 卡伦·萨卡拉 :
可满足性测试理论与应用——2007年SAT,第十届国际会议,葡萄牙里斯本,2007年5月28日至31日,会议记录。 计算机科学课堂讲稿 4501, 施普林格 2007 ,国际标准图书编号 978-3-540-72787-3 [目录]
由于引用数据不可用,以下列表可能不完整, 引用字符串可能尚未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。
![](https://dblp.org/img/cog.dark.24x24.png)