Compact Symmetry Breaking for Tournaments

Compact Symmetry Breaking for Tournaments
复制标题

锦标赛的紧凑对称破缺

DOI:
--
复制
发表时间:
2022
期刊:
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022
影响因子:
--
通讯作者:
Heule, Marijn J.
Heule, Marijn J.
中科院分区:
--
文献类型:
--
作者:
Lohn, Evan;Lambert, Chris;Heule, Marijn J.

文献摘要

参考文献

被引文献

相似文献

CADICAL、KISSAT、PARACOOBA 参加 2021 年 SAT 比赛
DOI: --
发表时间: 2021
期刊:
影响因子: --
作者:
Armin Biere;M. Fleury;Maximilian Heisinger
通讯作者: Maximilian Heisinger
关于锦标赛中 5 个周期的数量
DOI: --
发表时间: 2014
影响因子: 0.9
作者:
Natasha Komarov;John Mackey
通讯作者: John Mackey
DOI: --
发表时间: 2017
期刊: European journal of combinatorics (Print)
影响因子: --
作者:
Thomas Blankenship;Jay Cummings;Vladislav Taranchuk
通讯作者: Vladislav Taranchuk
为搜索问题生成有效的对称破缺谓词
DOI: 10.1016/j.dam.2005.10.018
发表时间: 2001
期刊: Discret. Appl. Math.
影响因子: --
作者:
I. Shlyakhter
通讯作者: I. Shlyakhter
自我对话锦标赛
DOI: --
发表时间: 1979
期刊: Canadian mathematical bulletin
影响因子: --
作者:
W. Eplett
通讯作者: W. Eplett