摘要：基于二进制决策图的符号化算法用于计算边着色图的单色强连通分量 探索大量着色图（最多$2^{48}$）的强连通分量。
作者：Nikola Benev{s}, Lubov{s} Brim, Samuel Pastva, David v{S}afr''anek
论文ID：2108.13113
分类：Data Structures and Algorithms
分类简称：cs.DS
提交时间：2023-06-22
PDF 下载： 英文版 中文版pdf翻译中