The Packing Chromatic Number of the Infinite Square Grid is 15
The Packing Chromatic Number of the Infinite Square Grid is 15
复制标题
无限方格的堆积色数为15
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Heule, Marijn J.
中科院分区：
文献类型：
--
作者：
Subercaseaux, Bernardo;Heule, Marijn J.
DOI：
10.1016/j.dam.2017.03.013
发表时间：
2015-10
期刊：
Discret. Appl. Math.
影响因子：
--
作者：
Barnaby Martin;F. Raimondi;Taolue Chen;Jos Martin
通讯作者：
Barnaby Martin;F. Raimondi;Taolue Chen;Jos Martin
布尔公式的自动重新编码
DOI：
--
发表时间：
2012
期刊：
Haifa Verification Conference
影响因子：
--
作者：
Norbert Manthey;Marijn J. H. Heule;Armin Biere
通讯作者：
Armin Biere
定向拉姆齐数 R(7) 的更严格界限
影响因子：
0.7
作者：
Neiman, David;Mackey, John;Heule, Marijn
通讯作者：
Heule, Marijn