Cohomology in Constraint Satisfaction and Structure Isomorphism
Cohomology in Constraint Satisfaction and Structure Isomorphism
复制标题
约束满足与结构同构中的上同调
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Adam Ó Conghaile
中科院分区：
文献类型：
--
作者：
Adam Ó Conghaile
登录
查看更多内容
线性丢番图方程、群 CSP 和图同构
DOI：
10.1137/1.9781611974782.21
发表时间：
2017
期刊：
影响因子：
--
作者：
C. Berkholz;M. Grohe
通讯作者：
M. Grohe
关于策略的 presheaf 表示以及 k-一致性和 k-等价性的上同调细化的注释
DOI：
10.48550/arxiv.2206.12156
发表时间：
2022
期刊：
ArXiv
影响因子：
--
作者：
S. Abramsky
通讯作者：
S. Abramsky
将排序逻辑与多项式时间分离
DOI：
10.1109/lics52264.2021.9470598
发表时间：
2021
期刊：
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
影响因子：
--
作者：
Moritz Lichter
通讯作者：
Moritz Lichter
论数据记录的表达能力：工具和案例研究
DOI：
10.1145/298514.298542
发表时间：
1990
期刊：
Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
影响因子：
--
作者：
Phokion G. Kolaitis;Moshe Y. Vardi
通讯作者：
Moshe Y. Vardi
论 k 一致性的力量
DOI：
--
发表时间：
2007
期刊：
International Colloquium on Automata, Languages and Programming
影响因子：
--
作者：
Albert Atserias;A. Bulatov;V. Dalmau
通讯作者：
V. Dalmau