DCM模型相关论文
可满足性问题是第一个NP完全问题,在计算机辅助设计、人工智能、密钥攻击、电子设计自动化、规划等领域有着广泛的应用。目前还没......
诸如“你算什么医生”,“这叫什么医院”这类“X Vj-什么Y”构式是现代汉语中常见构式,尤其在口语中使用频率甚高。目前,不少学者......
学位