可满足性测试（SAT）理论与应用国际会议
2023年第26届SAT：意大利阿尔盖罗
米娜·马哈詹 
， 弗里德里希·斯利沃夫斯基 :
第26届满意度测试理论与应用国际会议，2023年7月4日至8日，意大利阿尔盖罗，SAT 2023。 LIPIcs公司 271中， 达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2023 ，国际标准图书编号 978-3-95977-286-0 [目录] 马蒂·雅维萨洛 ， 丹尼尔·勒贝雷 :
第14届SAT语用学国际研讨会论文集，与第26届可满足性测试理论与应用国际会议（SAT 2023）合办，意大利阿尔盖罗，2023年7月4日。 CEUR研讨会记录 3545, CEUR-WS.org公司 2023 [目录]
2022年第25次SAT：以色列海法
库尔德普·S·梅尔 ， 奥弗·斯特里赫曼 :
第25届满意度测试理论与应用国际会议，2022年8月2-5日，以色列海法，SAT 2022。 LIPIcs公司 236, 达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2022 ，国际标准图书编号 978-3-95977-242-6 [目录]
2021年第24届SAT：西班牙巴塞罗那
李楚民 ， 费利普·马尼 :
可满足性测试理论与应用-SAT 2021-第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日，会议记录。 计算机科学课堂讲稿 12831, 施普林格 2021 ，国际标准图书编号 978-3-030-80222-6 [目录]
2020年第23届SAT：意大利阿尔盖罗
卢卡·普利纳 ， 马蒂娜·塞德尔 :
可满足性测试的理论与应用——2020年SAT第23届国际会议，意大利阿尔盖罗，2020年7月3日至10日，会议记录。 计算机科学课堂讲稿 12178, 施普林格 2020 ，国际标准图书编号 978-3-030-51824-0 [目录]
2019年第22届SAT：葡萄牙里斯本
米科拉斯·加诺塔 ， Inés Lync公司 :
可满足性测试的理论与应用——2019年国家税务总局第22届国际会议，2019年国际税务总局，葡萄牙里斯本，2017年7月9日至12日，会议记录。 计算机科学课堂讲稿 11628, 施普林格 2019 ，国际标准图书编号 电话：978-3-030-24257-2 [目录]
2018年第21届SAT：英国牛津
奥拉夫·贝耶斯多夫 ， 克里斯托夫·温特斯泰格 :
可满足性测试理论与应用-2018年SAT-2018年第21届国际会议，作为联邦逻辑会议的一部分，2018年7月9日至12日在英国牛津举行，会议记录。 计算机科学课堂讲稿 10929, 施普林格 2018 ，国际标准图书编号 978-3-319-94143-1 [目录] 丹尼尔·勒贝雷 ， 马蒂·贾维萨洛 :
《2015年SAT语用学会议录》，美国德克萨斯州奥斯汀，2015年9月23日/《2018年SAT实用学》，英国牛津，2018年7月7日。 EPiC计算系列 59, 轻松头发 2019 [目录]
2017年第20届SAT：澳大利亚维多利亚州墨尔本
谢尔盖·加斯佩斯 ， 托比·沃尔什 :
可满足性测试的理论与应用-SAT 2017-第20届国际会议，澳大利亚维多利亚州墨尔本，2017年8月28日至9月1日，会议记录。 计算机科学课堂讲稿 10491, 施普林格 2017 ，国际标准图书编号 978-3-319-66262-6 [目录]
2016年第19届SAT：法国波尔多
纳迪娅·克里诺 ， 丹尼尔·勒贝雷 :
可满足性测试理论与应用——2016年SAT第19届国际会议，法国波尔多，2016年7月5-8日，会议记录。 计算机科学课堂讲稿 9710, 施普林格 2016 ，国际标准图书编号 978-3-319-40969-6 [目录] 弗洛里安·朗辛 ， 马蒂娜·塞德尔 :
第四届量化布尔公式国际研讨会（QBF 2016）会议记录，与第十九届可满足性测试理论与应用国际会议（SAT 2016）合办，法国波尔多，2016年7月4日。 CEUR研讨会记录 1719, CEUR-WS.org公司 2016 [目录]
2015年第18届SAT：美国德克萨斯州奥斯汀
Marijn鞋跟 ， 肖恩·韦弗 :
可满足性测试理论与应用——2015年SAT第18届国际会议，美国德克萨斯州奥斯汀，2015年9月24日至27日，会议记录。 计算机科学课堂讲稿 9340中， 施普林格 2015 ，国际标准图书编号 978-3-319-24317-7 [目录]
2014年第17届SAT：奥地利维也纳
卡斯滕·辛兹 ， 乌韦·埃格利 :
可满足性测试理论与应用——2014年SAT第17届国际会议，作为维也纳逻辑夏季的一部分，VSL 2014，奥地利维也纳，2014年7月14-17日。 诉讼程序。 计算机科学课堂讲稿 8561, 施普林格 2014 ，国际标准图书编号 978-3-319-09283-6 [目录] 丹尼尔·勒贝雷 :
位置-14。 2014年7月13日，奥地利维也纳，第五届SAT语用研讨会，2014年SAT会议的一个研讨会，是FLoC 2014在维也纳逻辑夏令营的一部分。 EPiC计算系列 27, 轻松头发 2014 [目录]
2013年第16次SAT：芬兰赫尔辛基
马蒂·贾维萨洛 ， 阿伦·范·盖尔德 :
可满足性测试的理论与应用-SAT 2013-第16届国际会议，芬兰赫尔辛基，2013年7月8日至12日。 诉讼程序。 计算机科学课堂讲稿 7962, 施普林格 2013 ，国际标准图书编号 978-3-642-39070-8 [目录] 丹尼尔·勒贝雷 :
POS-13。 2013年7月7日，芬兰赫尔辛基，第四届SAT语用研讨会，2013年SAT会议研讨会。 EPiC计算系列 29, 轻松头发 2014 [目录]
2012年第15届SAT：意大利特伦托
亚历山德罗·西马蒂 ， 罗伯托·塞巴斯蒂亚尼 :
可满足性测试理论与应用——2012年SAT第15届国际会议，意大利特伦托，2012年6月17日至20日。 诉讼程序。 计算机科学课堂讲稿 7317, 施普林格 2012 ，国际标准图书编号 978-3-642-31611-1 [目录]
2011年第14届SAT：美国密歇根州安阿伯
卡伦·萨卡拉 ， 劳伦特·西蒙 :
可满足性测试理论与应用——2011年SAT——2011年第14届国际SAT会议，2011年6月19日至22日，美国密歇根州安阿伯。 诉讼程序。 计算机科学课堂讲稿 6695, 施普林格 2011 ，国际标准图书编号 978-3-642-21580-3 [目录]
2010年第13届SAT：英国爱丁堡
奥弗·斯特里赫曼 ， 斯特凡·塞德尔 :
可满足性测试理论与应用——2010年SAT，2010年第13届国际SAT会议，英国爱丁堡，2010年7月11日至14日。 诉讼程序。 计算机科学课堂讲稿 6175中， 施普林格 2010 ，国际标准图书编号 978-3-642-14185-0 [目录] 丹尼尔·勒贝雷 :
POS-10。 SAT语用学，英国爱丁堡，2010年7月10日。 EPiC计算系列 8, 轻松头发 2012 [目录]
2009年第12届SAT：英国斯旺西
奥利弗·库尔曼 :
可满足性测试的理论与应用——2009年SAT，第12届国际SAT大会，2009年6月30日至7月3日，英国斯旺西。 诉讼程序。 计算机科学课堂讲稿 5584, 施普林格 2009 ，国际标准图书编号 978-3-642-02776-5 [目录]
2008年第11届SAT：中国广州
汉斯·克莱恩·勃宁 ， 赵喜顺 :
可满足性测试理论与应用——2008年国家税务总局第十一届国际会议，2008年5月12日至15日，中国广州。 诉讼程序。 计算机科学课堂讲稿 4996中， 施普林格 2008 ，国际标准图书编号 978-3-540-79718-0 [目录]
2007年第10次SAT：葡萄牙里斯本
乔安·马奎斯·西尔瓦 ， 卡伦·萨卡拉 :
可满足性测试理论与应用——2007年SAT，第十届国际会议，葡萄牙里斯本，2007年5月28日至31日，会议记录。 计算机科学课堂讲稿 4501, 施普林格 2007 ，国际标准图书编号 978-3-540-72787-3 [目录]
2006年第9届SAT：美国华盛顿州西雅图
阿明·比尔 ， 卡拉·戈麦斯 :
满足性测试的理论与应用——2006年SAT，第九届国际会议，西雅图，华盛顿州，美国，2006年8月12-15日，会议记录。 计算机科学课堂讲稿 4121, 施普林格 2006 ，国际标准图书编号 3-540-37206-7 [目录]
2005年第8届SAT：英国圣安德鲁斯
法希姆·巴克斯 ， 托比·沃尔什 :
《可满足性测试的理论与应用》，第八届国际会议，2005年SAT，英国圣安德鲁斯，2005年6月19-23日，会议记录。 计算机科学课堂讲稿 3569中， 施普林格 2005 ，国际标准图书编号 3-540-26276-8 [目录]
2004年第7届SAT：加拿大不列颠哥伦比亚省温哥华
SAT 2004——第七届可满足性测试理论与应用国际会议，2004年5月10日至13日，加拿大不列颠哥伦比亚省温哥华，在线会议记录。 2004 [目录] 霍尔格H.胡斯 ， 大卫·G·米切尔 :
《可满足性测试的理论与应用》，第七届国际学术会议，2004年SAT，加拿大不列颠哥伦比亚省温哥华，2004年5月10日至13日，修订论文集。 计算机科学课堂讲稿 3542, 施普林格 2005 ，国际标准图书编号 编号：3-540-27829-X [目录]
2003年第6届SAT：意大利圣玛格丽塔利古尔
恩里科·金奇利亚 ， 阿曼多·塔切拉 :
《可满足性测试的理论与应用》，2003年第六届国际SAT会议。 圣玛格丽塔·利古尔，意大利，2003年5月5日至8日，《精选修订论文》。 计算机科学课堂讲稿 2919, 施普林格 2004 ，国际标准图书编号 3-540-20851-8 [目录]
SAT 2001：美国马萨诸塞州波士顿
