可满足性简化归约至Tantrix(TM)旋转拼图问题

摘要:Tantrix(TM)旋转拼图问题的计数版本和唯一版本的证明

作者:Dorothea Baumeister and Joerg Rothe

论文ID:0705.0915

分类:Computational Complexity

分类简称:cs.CC

提交时间:2008-06-09

PDF 下载: 英文版 中文版pdf翻译中