米纳·马哈扬（编辑）；弗里德里希·斯利沃夫斯基（编辑） 第26届满意度测试理论与应用国际会议，SAT 2023，阿尔盖罗，意大利，2023年7月4日至8日。 （英语） Zbl 1517.68023号 LIPIcs–莱布尼茨国际信息学会议录271.瓦德恩：《达格斯图尔城堡-莱布尼茨信息学》（ISBN 978-3-95977-286-0）。xvii，30篇文章，非连续页面，仅电子版，开放存取（2023年）。MSC公司：68-06 65年第68季度 68兰特 68T20型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Mahajan}（编辑）和\textit{F.Slivovsky}（编），第26届满意度测试理论和应用国际会议，SAT 2023，阿尔盖罗，意大利，2023年7月4-8日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2023；Zbl 1517.68023） 全文： 内政部 链接
根纳罗·奥里奇奥；卢卡·费拉里尼；斯特凡诺·瓜兰迪；格雷塔·兰扎罗托；卢多维科·佩纳扎 一种SAT编码，用于计算非周期平铺的韵律规范。 （英语） 兹比尔1502.0085 Schaus，Pierre（编辑），约束编程、人工智能和运筹学的集成。第19届国际会议，CPAIOR 2022，美国加利福尼亚州洛杉矶，2022年6月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13292, 14-23 (2022).MSC公司：00A65号 52C23型 68兰特 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Auricchio}等人，Lect。注释计算。科学。13292，14-23（2022；Zbl 1502.00085） 全文： 内政部 arXiv公司
Kuldeep S.梅尔。（编辑）；斯特里赫曼（Ofer Strichman）（编辑） 第25届满意度测试理论与应用国际会议，2022年8月2日至5日，以色列海法，SAT 2022。 （英语） Zbl 1494.68012号 LIPIcs–莱布尼茨国际信息学会议录236.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆宫（ISBN 978-3-95977-242-6）。xvii，31篇文章，非连续页面，仅电子版，开放存取（2022年）。MSC公司：68-06 65年第68季度 68兰特 68T20型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Meel}（编辑）和\textit{O.Strichman}（编），第25届可满足性测试理论和应用国际会议，2022年8月2-5日，以色列海法，SAT 2022。Wadern：达格斯图尔宫——莱布尼兹·泽特鲁姆·福尔·Informatik（2022；Zbl 1494.68012） 全文： 内政部 链接
亚历克西斯·朗格洛伊斯·雷米拉德；穆伊格，克里斯托夫；爱丽卡·罗丹 国际象棋支配问题的复杂性。 arXiv公司：2211.05651 预印本，arXiv:2211.05651[math.CO]（2022）。MSC公司：2015年3月1日 05B40号 05B50号 00A08号 2017年第68季度 68卢比 68兰特 BibTeX公司 引用 \textit{A.Langlois-Rémillard}等人，“国际象棋支配问题的复杂性”，预印本，arXiv:22111.05651[math.CO]（2022） 全文： arXiv公司 OA许可证
李楚敏（编辑）；很多，费利普（编辑） 可满足性测试的理论和应用——SAT 2021。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。 （英语） Zbl 1482.68030号 计算机科学课堂讲稿12831.查姆：施普林格（ISBN 978-3-030-80222-6/pbk；978-3-0030-80223-3/电子书）。xi，第564页。(2021).MSC公司：68-06 65年第68季度 68兰特 68T20型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.-M.Li}（编辑）和textit{F.Manyá}（主编），可满足性测试的理论和应用--SAT 2021。第24届国际会议，西班牙巴塞罗那，2021年7月5-9日。诉讼程序。查姆：施普林格（2021；Zbl 1482.68030） 全文： 内政部
阿明·比尔（编辑）；Marijn脚后跟（编辑）；汉斯·范马伦（编辑）；托比·沃尔什（编辑） 满意度手册。分为两部分。第二次更新和修订版。 （英语） Zbl 1456.68001号 人工智能和应用的前沿336.阿姆斯特丹：IOS出版社（ISBN 978-1-64368-160-3/pbk；978-1-643 68-161-0/ebook）。十七、1465页。(2021).MSC公司：68-00 60年第68季度 68兰特 68T20型 68T27型 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Biere}（编辑）等人，《可满足性手册》。分为两部分。第二次更新和修订版。阿姆斯特丹：IOS出版社（2021；Zbl 1456.68001） 全文： 链接
卢卡·普利纳（编辑）；马蒂娜·塞德尔（编辑） 满意度测试的理论和应用——SAT 2020。第23届国际会议，意大利阿尔盖罗，2020年7月3日至10日。诉讼程序。 （英语） Zbl 1457.68014号 计算机科学课堂讲稿12178.查姆：施普林格（ISBN 978-3-030-51824-0/pbk；978-3-0.30-51825-7/ebook）。xi，第538页。(2020).MSC公司：68-06 65年第68季度 68兰特 68T20型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Pulina}（编辑）和textit{M.Seidl}（主编），可满足性测试的理论和应用——SAT 2020。第23届国际会议，意大利阿尔盖罗，2020年7月3日至10日。诉讼程序。查姆：施普林格（2020；Zbl 1457.68014） 全文： 内政部
詹姆斯·H·达文波特。（编辑）；英格兰，马修（编辑）；阿尔贝托·格里乔（编辑）；托马斯·斯特姆（编辑）；塞萨尔·蒂内利（编辑） 社论：符号计算和可满足性检查。 （英语） Zbl 1444.68006号 J.塞姆。计算。 100, 1-10 (2020).MSC公司：68-06 68兰特 68T20型 68瓦30 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport}（编辑）等，J.Symb。计算。100,1-10（2020年；Zbl 1444.68006） 全文： 内政部
托马斯·范·迪克。；费比安·利普；彼得·马克费尔德；亚历山大·沃尔夫 用很少的块交叉计算故事线可视化。 （英语） 兹比尔1503.68236 Frati，Fabrizio（编辑）等人，《图形绘制和网络可视化》。第25届国际研讨会，2017年GD，2017年9月25日至27日，美国马萨诸塞州波士顿。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10692, 365-378 (2018).MSC公司：68兰特 00A64号 68兰特 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{T.C.van Dijk}等人，Lect。注释计算。科学。10692265-378（2018年；兹比尔1503.68236） 全文： 内政部 arXiv公司
安德烈·克罗金（编辑）；斯坦尼斯拉夫·伊文（编辑） 约束满足问题：复杂性和逼近性，Dagstuhl研讨会153012015年7月。 （英语） Zbl 1375.68019号 Dagstuhl跟进7.瓦登：达格斯图尔宫（Schloss Dagstuhl）-莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-003-3）。xii，第346页。，仅电子版，开放访问（2017年）。MSC公司：68-06 65年第68季度 68兰特 68周25 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Krokhin}（编辑）和\textit{S.ivn}（主编），约束满足问题：复杂性和近似性，Dagstuhl研讨会153012015年7月。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2017；Zbl 1375.68019） 全文： 内政部 链接
丹尼尔·弗里蒙特。；亚历山大·唐泽；Sanjit A.Seshia。；大卫·威塞尔 控制即兴发挥。 （英语） Zbl 1366.68144号 Harsha，Prahladh（编辑）等人，第35届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2015，印度班加罗尔，2015年12月16日至18日。诉讼程序。瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-939897-97-2）。LIPIcs–莱布尼茨国际信息学论文集45，463-474（2015）。MSC公司：65年第68季度 00A65号 65年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Fremont}等人，LIPIcs——莱布尼茨国际程序。通知。45、463--474（2015年；Zbl 1366.68144） 全文： 内政部 arXiv公司
伯恩德·斯坦巴赫；克里斯蒂安·波斯托夫 鹰启动辅助。技术信息学。逻辑函数–布尔模型。（EAGLE-STARTHILFE。技术信息。Logische Funktitonen–Boolesche Modelle。） （德语） Zbl 1297.68004号 EAGLE公司77.莱比锡：Gutenbergplatz Leipzig版（EAGLE）（ISBN 978-3-937219-77-6/pbk）。100页。(2014). 审核人：戈特弗里德·沃森（明斯特） MSC公司：68-01 2007年7月68日 68甲15 94立方厘米10 00A06号 PDF格式BibTeX公司 XML格式引用 \textit{B.Steinbach}和\textit{C.Posthoff}，EAGLE-STARTHILFE。技术信息。Logische Funktitonen——布尔谢模型。莱比锡：莱比锡古腾堡广场版（EAGLE）（2014；Zbl 1297.68004）
恩里科Giunchilia（编辑）；阿曼多·塔切拉（编辑） 满意度测试的理论与应用。2003年5月5日至8日，意大利圣玛格丽塔·利古雷，第六届国际SAT会议。选定的修订论文。 （英语） Zbl 1030.00034号 计算机科学课堂讲稿. 2919. 柏林：斯普林格。xi，530页（2004）。MSC公司：00B25型 68-06 68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}（编辑）和\textit{A.Taccella}（编），可满足性测试的理论和应用。2003年5月5-8日，意大利圣玛格丽塔利古雷，2003年SAT第六届国际会议。选定的修订论文。柏林：施普林格出版社（2004；Zbl 1030.00034） 全文： 内政部 链接
亨利·考茨（编辑）；巴特·塞尔曼（编辑） LICS 2001满意度测试理论与应用研讨会（SAT 2001）。2001年6月14日至15日，美国马萨诸塞州波士顿。 （英语） Zbl 0968.90001号 离散数学中的电子笔记. 9. 阿姆斯特丹：Elsevier，29篇论文（电子版）（2001年）。MSC公司：90-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Kautz}（编辑）和textit{B.Selman}（编），LICS 2001满意度测试理论和应用研讨会（SAT 2001）。2001年6月14日至15日，美国马萨诸塞州波士顿。阿姆斯特丹：Elsevier（2001；Zbl 0968.90001）
伊恩·根特（编辑）；汉斯·范马伦（编辑）；托比·沃尔什（编辑） 2000年满意度研究重点。第三次国际研讨会，1998年9月。 （英语） 兹比尔0963.00028 人工智能和应用的前沿. 63. 阿姆斯特丹：IOS出版社。东京：Ohmsha。第561页（2000年）。MSC公司：00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{I.Gent}（编辑）等人，SAT2000。2000年满意度研究重点。第三次国际研讨会，1998年9月。阿姆斯特丹：IOS出版社；东京：Ohmsha（2000；Zbl 0963.00028）
伊恩·詹特（Ian P.Gent）。（编辑）；托比·沃尔什（编辑） 特别问题：2000年的可满足性。 （英语） Zbl 0956.00015号 J.汽车。推理 24，第4期，540页（2000年）.MSC公司：00B15号机组 03-06 68-06 PDF格式BibTeX公司 XML格式引用 \textit{I.P.Gent}（编辑）和textit{T.Walsh}（主编），J.Autom。推理24，第4期，540页（2000；Zbl 0956.00015） 全文： 内政部
伊恩·詹特（Ian P.Gent）。（编辑）；托比·沃尔什（编辑） 2000年的可满足性。特刊。 （英语） Zbl 0966.00016号 J.汽车。推理 24，第1-2期，296页（2000年）.MSC公司：00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{I.P.Gent}（编辑）和textit{T.Walsh}（主编），J.Autom。推理24，No.1--2296~p.（2000；Zbl 0966.00016） 全文： 内政部
约翰·V·佛朗哥。（编辑）；乔戈·加洛（编辑）；汉斯·克莱恩·勃宁（编辑）；埃瓦尔德·斯佩肯迈耶（编辑）；恩德雷·博罗斯（编辑）；彼得·哈默。（编辑） 可满足性问题；布尔函数。关于可满足性问题（第1-244页）和布尔函数（第245-479页）的特刊。包括1996年4月29日至5月3日在意大利Certosa di Pontignano举行的第一次可满足性研讨会上的论文。转载自《离散应用数学》杂志96-97（1999）。 （英语） Zbl 0936.00029号 离散数学专题. 10. 阿姆斯特丹：爱思唯尔。482页（1999年）。MSC公司：00B25型 03-06 06-06 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Franco}（编辑）等，可满足性问题；布尔函数。关于可满足性问题的特刊（第1-244页）和布尔函数（第245-479页）。包括1996年4月29日至5月3日在意大利Certosa di Pontignano举行的第一次可满足性研讨会上的论文。转载自《离散应用数学》杂志96-97（1999）。阿姆斯特丹：Elsevier（1999；Zbl 0936.00029）
约翰·V·佛朗哥。（编辑）；乔治·加洛（编辑）；汉斯·克莱恩·勃宁（编辑）；埃瓦尔德·斯佩肯迈耶（编辑）；恩德雷·博罗斯（编辑）；彼得·哈默。（编辑） 关于可满足性问题的特刊（第1-244页），包括1996年4月29日至5月3日在意大利Certosa di Pontignano举行的第一次可满足性研讨会上的论文和布尔函数（第245-479页）。 （英语） Zbl 0935.00027号 离散应用程序。数学。 96-97482页（1999年）.MSC公司：00B25型 03-06 06-06 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Franco}（编辑）等人，《离散应用》。数学。96-97482页（1999年；Zbl 0935.00027） 全文： 内政部
杜定珠（编辑）；顾军（编辑）；帕诺斯·帕达洛斯（Panos M.Pardalos）。（编辑） 可满足性问题：理论与应用。DIMACS研讨会，美国新泽西州皮斯卡塔韦，1996年3月11日至13日。 （英语） Zbl 0881.00041号 DIMACS系统。离散数学和理论计算机科学系列. 35. 普罗维登斯，RI：美国数学学会（AMS）。xv，724页（1997年）。MSC公司：00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit｛D.Du｝（编辑）等人，可满足性问题：理论和应用。DIMACS研讨会，美国新泽西州皮斯卡塔韦，1996年3月11日至13日。普罗维登斯，RI:AMS，美国数学学会（1997；Zbl 0881.00041）
理查德·华莱士。；尤金·弗洛伊德。 最大可满足问题的约束满足和Davis-Putnam算法的比较研究。 （英语） Zbl 0859.68072号 Johnson，David S.（编辑）等人，Cliques，着色和可满足性。第二个DIMACS实施挑战。1993年10月11日至13日在DIMACS举行的研讨会会议记录。普罗维登斯，RI：美国数学学会。DIMACS，系列。离散数学。西奥。计算。科学。26, 587-615 (1996).MSC公司：68卢比99 65年第68季度 05A99号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.J.华莱士}和\textit{E.C.弗洛伊德}，DIMACS，Ser。离散数学。西奥。计算。科学。26587--615（1996年；Zbl 0859.68072）
大卫·约翰逊。（编辑）；迈克尔·A·崔克（Michael A.Trick）。（编辑） 派系、色彩和可满足性。第二个DIMACS实施挑战。1993年10月11日至13日在DIMACS举行的研讨会会议记录。 （英语） Zbl 0851.00080号 DIMACS系统。离散数学和理论计算机科学系列. 26. 普罗维登斯，RI：美国数学学会（AMS）。xi，657页（1996年）。MSC公司：00B25型 68-06 90-06 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Johnson}（编辑）和textit{M.A.Trick}（主编），Cliques，coloring，and satisfiability。第二个DIMACS实施挑战。1993年10月11-13日在DIMACS举行的研讨会会议记录。普罗维登斯，RI:美国数学学会（1996；Zbl 0851.00080）