曼弗雷德·舒彻 对\（mathbb{R}^d\）中Erdős-Szekeres数和空六边形定理的SAT攻击。 （英语） Zbl 07779755号 CGT，计算。地理。白杨。 2，第1号，第2号论文，第13页（2023年）.MSC公司：52立方厘米 68伏05 52立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Scheucher}，CGT，计算。地理。拓扑。2，第1号，第2号论文，第13页（2023；Zbl 07779755） 全文： 内政部
根纳罗·奥里奇奥；卢卡·费拉里尼；斯特凡诺·瓜兰迪；格雷塔·兰扎罗托；卢多维科佩尔纳扎 一种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公司
曼弗雷德·舒彻 点集中两个不相交的5孔。 （英语） Zbl 1474.68428号 计算。地理。 91，文章ID 101670，11 p.（2020）.MSC公司：68单位05 52B55号 52立方厘米 68伏05 PDF格式BibTeX公司 XML格式引用 \textit{M.Scheucher}，计算。地理。91，文章ID 101670，11 p.（2020；Zbl 1474.68428） 全文： 内政部 arXiv公司
雨果·阿基塔亚。；埃里克·D·德曼。；高石县Horiyama；托马斯·赫尔。；库杰森；大治，通弘 刚性可折叠性为NP-hard。 （英语） Zbl 1477.68455号 J.计算。地理。 11，第1期，93-124（2020）.MSC公司：68单位05 52C25型 2017年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{H.A.Akitaya}等人，J.Compute。地理。11，编号1，93--124（2020；Zbl 1477.68455） 全文： 内政部 arXiv公司
亚历山大·德鲁埃特·朱尔丹；石佐卡吉；Mizoguchi、Yoshihiro 砖块Wang平铺的线性算法。 （英语） Zbl 1428.05050号 日本J.Ind.Appl。数学。 36，第3号，749-761（2019）.MSC公司：05B45号 05-08 52C20个 68单位05 PDF格式BibTeX公司 XML格式引用 \textit｛A.Derouet Jourdan｝等人，《日本工业应用杂志》。数学。36，第3号，749-761（2019年；兹bl 1428.05050） 全文： 内政部 arXiv公司
大卫·布雷纳；舍韦，拉尔斯 具有少量刻面的凸多面体的边缘纹理直径界限。 （英语） Zbl 1266.52017年 实验数学。 20，第3期，229-237（2011）.MSC公司：52B40码 52个B05 52立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Bremner}和\textit{L.Schewe}，实验数学。20，第3号，229--237（2011；Zbl 1266.52017） 全文： 内政部 arXiv公司 欧几里得
舍韦，拉尔斯 曲面的不可实现最小顶点三角剖分：使用定向拟阵和可满足性求解器显示不可实现性。 （英语） Zbl 1187.52023号 离散计算。地理。 43，第2期，289-302（2010）. 审核人：Simona Settepanella（比萨） MSC公司：52立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Schewe}，离散计算。地理。43，第2号，289--302（2010；Zbl 1187.52023） 全文： 内政部 arXiv公司
费德里科·阿迪拉；伊丽莎·曼内娃 修剪过程和凸几何的新特征。 （英语） Zbl 1171.52001号 离散数学。 309，第10号，3083-3091（2009）. 审核人：Juan-Enrique Martínez-Legaz（巴塞罗那） MSC公司：52A01型 51D20号 PDF格式BibTeX公司 XML格式引用 \textit{F.Ardila}和\textit{E.Maneva}，离散数学。309，第10号，3083--3091（2009；Zbl 1171.52001） 全文： 内政部 arXiv公司
舍韦，拉尔斯 离散几何中的可满足性问题。 （英语） 兹比尔1128.52013 Berichte aus der Mathematik公司亚琛：Shaker；达姆施塔特：达姆施塔特工业大学，Fachbereich Mathematik（2006年论文）（ISBN 978-3-8322-6108-5-pbk）。100页。(2007). 审核人：Konrad Swanepoel（Chemnitz）公司 MSC公司：52立方厘米 51E30型 52B70型 52立方米 PDF格式BibTeX公司 XML格式引用 \textit{L.Schewe}，离散几何中的可满足性问题。亚琛：Shaker；达姆施塔特：TU Darmstadt，Fachbereich Mathematik（2006年论文）（2007；Zbl 1128.52013）
米歇尔·拉古达基斯。；托马斯·拉宾。 2D DNA自组装以满足要求。 （英语） Zbl 0969.68085号 Winfree，Erik（编辑）等人，基于DNA的计算机V.DIMACS研讨会，麻省理工学院，马萨诸塞州剑桥，美国，1999年6月14-15日。普罗维登斯，RI:AMS，美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。54, 141-154 (1999).MSC公司：65年第68季度 2005年第68季度 52C20个 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Lagoudakis}和\textit{T.H.LaBean}，DIMACS，Ser。离散数学。西奥。计算。科学。54、141--154（1999；Zbl 0969.68085）
埃里克·雷米拉 用条平铺，满足布尔公式。 （英语） Zbl 1508.68389号 Reichel，Horst（编辑），《计算理论基础》。1995年8月22日至25日，第十届国际会议，FCT’95，德国德累斯顿。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。965, 404-413 (1995).MSC公司：68单位05 03B05号 05B45号 52C20个 68兰特 68周05 PDF格式BibTeX公司 XML格式引用 \textit{E.Rémila}，莱克特。票据计算。科学。965、404--413（1995年；Zbl 1508.68389） 全文： 内政部