摘要：布尔约束的同构蕴涵问题的研究
作者：Michael Bauland and Edith Hemaspaandra
论文ID：cs/0412062
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中