文件大小：0.79 MB 16页
无限方格的填充色数至少为14
作者
贝尔纳多·苏贝卡索 
,
Marijn J.H.鞋垫
-
部分： 体积： 第25届满意度测试理论与应用国际会议（SAT 2022）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 可满足性测试（SAT）理论与应用国际会议 许可证： 
Creative Commons Attribution 4.0国际许可 出版日期：2022-07-28
文件
文件标识符
作者详细信息
鸣谢
引用为 获取BibTex
摘要
受试者分类
ACM科目分类
计算数学→组合问题
关键词
填料着色 SAT解算器 编码
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
K.Appel和W.Haken。 每个平面图都是四色的。 第一部分：排放。 伊利诺伊数学杂志，21（3）：429-4901977。 网址： https://doi.org/10.1215/ijm/1256049011 . -
Armin Biere、Katalin Fazekas、Mathias Fleury和Maximillian Heisinger。 CaDiCaL、Kissat、Paracooba、Plingeling和Treengeling参加了2020年SAT竞赛。 托马斯·巴尔约、尼尔斯·弗罗利克斯、马里恩·赫勒、马库斯·伊瑟、马蒂·亚尔维萨洛和马丁·苏达，编辑，Proc。 《2020年SAT竞赛-解算器和基准描述》，计算机科学部报告系列B第B-2020-1卷，第51-53页。 赫尔辛基大学，2020年。 
-
博什特詹·布雷沙尔、贾斯米娜·费姆、桑迪·克拉夫扎尔和道格拉斯·拉尔。 包装色彩调查。 讨论数学图论，40（4）：9232020。 网址： https://doi.org/10.7151/dmgt.2320 . -
肖恩·布朗（Shawn T.Brown）、保拉·布伊特拉戈（Paola Buitrago）、爱德华·汉纳（Edward Hanna）、塞尔吉乌·萨尼列维奇（Sergiu Sanielevici）、罗宾·西贝克（Robin Scibek）和尼古拉斯·奈斯特罗姆（Ni。 桥梁-2：快速发展和数据密集型研究平台，第1-4页。 计算机械协会，美国纽约州纽约市，2021年。
-
简·埃克斯坦（Jan Ekstein）、杰里·菲亚拉（JiríFiala）、普雷米斯·霍卢布（Premysl Holub）和伯纳德·利迪克（Bernard Lidick）。 方格的堆积色数至少为12。 CoRR，abs/1003.22912010年。 网址： http://arxiv.org/abs/1003.2291 . -
吉·菲亚拉（JiříFiala）和彼得·戈洛维奇（Petr A.Golovach）。 树的填充着色问题的复杂性。 Hajo Broersma、Thomas Erlebach、Tom Friedetzky和Daniel Paulusma，《计算机科学中的图形理论概念》编辑，第134-145页，柏林，海德堡，2008年。 施普林格-柏林-海德堡。
-
吉·菲亚拉、桑迪·克拉瓦尔和伯纳德·利迪克。 无限乘积图的包装色数。 欧洲法学委员会。， 30（5）：1101-11132009年7月。 网址： https://doi.org/10.1016/j.ej.2008.09.014 . -
Wayne Goddard、Sandra Hedetniemi、Stephen Hedetneimi、John Harris和Douglas Rall。 图的Braodcast色数。 阿尔斯·库姆。， 2008年1月86日。
-
Marijn J.H.Heule、Oliver Kullmann、Siert Wieringa和Armin Biere。 立方体和征服：通过lookahead指导cdcl sat解算器。 Kerstin Eder、Joáo Lourenço和Onn Shehory主编，《硬件和软件：验证和测试》，第50-65页，柏林，海德堡，2012年。 施普林格-柏林-海德堡。
-
巴纳比·马丁（Barnaby Martin）、弗兰科·雷蒙迪（Franco Raimondi）、陈陶璐（Taolue Chen）和乔斯·马丁（Jos Martin。 无限方格的堆积色数小于或等于16，2015。 网址： http://arxiv.org/abs/1510.02374v1 . -
巴纳比·马丁（Barnaby Martin）、弗兰科·雷蒙迪（Franco Raimondi）、陈陶璐（Taolue Chen）和乔斯·马丁（Jos Martin。 无限正方形晶格的堆积色数在13到15之间。 离散应用数学，225:136-1422017。 网址： https://doi.org/10.1016/j.dam.2017.03.013 . -
David Neiman、John Mackey和Marijn Heule。 2020年定向ramsey数r（7）的更严格界限。 网址： http://arxiv.org/abs/2011.00683 . -
A.Schwenk。 与Wayne Goddard的私人通信。， 2002
-
邵泽慧和亚历山大·维塞尔。 图的填充着色问题的建模。 应用数学建模，39（13）：3588-35952015年7月。 网址： https://doi.org/10.1016/j.apm.2014.11.060 . -
克里斯蒂安·斯洛珀。 树木的怪异色彩。 《澳大利亚组合数学杂志》（仅电子版），2004年1月29日。
-
亚历山大·索伊弗。 Hadwiger-Nelson问题，第439-457页。 Springer International Publishing，Cham，2016年。 网址： https://doi.org/10.1007/978-3-319-32162-2_14 . -
罗曼·索卡尔和Přemysl Holub。 关于方格的堆积色数的注记。 组合数学电子杂志，17（1），2010年3月。 网址： https://doi.org/10.37236/466 .