Enumerating Nontrivial Knot Mosaics with SAT (Student Abstract)

Enumerating Nontrivial Knot Mosaics with SAT (Student Abstract)
复制标题

用 SAT 枚举非平凡的结马赛克(学生摘要)

DOI:
10.1609/aaai.v36i11.21645
复制
发表时间:
2022
期刊:
Proceedings of the AAAI Conference on Artificial Intelligence
影响因子:
--
通讯作者:
Miller, Hannah
Miller, Hannah
中科院分区:
--
文献类型:
--
作者:
Miller, Hannah

文献摘要

参考文献

被引文献

相似文献

小结马赛克和分区矩阵
DOI: 10.1088/1751-8113/47/43/435201
发表时间: 2013
期刊: Journal of Physics A: Mathematical and Theoretical
影响因子: --
作者:
Kyungpyo Hong;Ho Lee;Hwa Jeong Lee;Seungsang Oh
通讯作者: Seungsang Oh
节省空间的 Prime Knot 7-马赛克
DOI: 10.3390/sym12040576
发表时间: 2019
期刊: Symmetry
影响因子: --
作者:
Aaron Heap;Natalie LaCourt
通讯作者: Natalie LaCourt
量子结和马赛克
DOI: 10.1007/s11128-008-0076-7
发表时间: 2008
影响因子: 2.5
作者:
S. Lomonaco;L. Kauffman
通讯作者: L. Kauffman
DOI: 10.1007/bf02952507
发表时间: 1927
期刊: Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg
影响因子: --
作者:
K. Reidemeister
通讯作者: K. Reidemeister