沈海华 欧智坚 张健 胡伟武 邱文阁 欧阳丹彤 王作英 朱洪 赵运磊 杨宇鹏 李子湖 周智 蔡敦波 罗骏 黄刘生 吕帅 陈云霁

数据交换 IGES Parasolid STEP NP-Complete 实例 2-CNF推理 形式验证 析取目标 内部结构 标志子句 模型检验 松弛规划图 中文信息处理 Conformant规划 E-CNF MLLR Karp-归约 NPI 自适应 计算机应用