原创力文档- 2
- 0
- 约4.54万字
- 约 9页
- 2018-12-30 发布于湖北
- 举报
ISSN 1000-9825, CODEN RUXUEW E-mail: jos@
Journal of Software, Vol.17, No.5, May 2006, pp .1204−1212 http://www.j
DOI: 10. 1360/jos171204 Tel/Fax : +86-10
© 2006 by Journal of Software. All rights reserved.
∗
极小不可满足公式在多项式归约中的应用
许道云+
(贵州大学 计算机科学系,贵州 贵阳 550025)
Applications of Minimal Unsatisfia
您可能关注的文档
- 国土资源管理概论 产权制度.ppt
- 婚姻制度沿革.ppt
- 鸡西中考化学真题.pdf
- 基础会计学习题答案.doc
- 基于EC法规基本要求检查表.pdf
- 基于OMNeT++传感器网络仿真.pdf
- 基于SiulinkPMSM模糊直接转矩控制仿真.pdf
- 基于道路和台架制动器振动噪声试验方法研究.pdf
- 基于多层次滑动窗口模型数据流聚集查询.pdf
- 基于嵌套Logit模型中国省际人口二次迁移影响因素分析.pdf
- 零碳城市综合能源解决方案分享.docx
- 人形机器人-专题报告8：跨越与弥合：数据采集的必要性与重要性.pdf
- 机器人能胜任哪些工作？+What+Work+Can+Robots+Do.pdf
- Token驱动的大模型推理效能优化技术白皮书2026.pptx
- 2026年Q3人工智能行业薪酬报告.pptx
- AI能读懂民意吗？合成虚拟人物预测政策态度的实证研究+Can+AI+Read+the+Room？Predicting+Policy+Sentiment+with+Synthetic+Personas.pdf
- 山东省亚太资本市场研究院山东上市公司绿色转型与ESG白皮书2026.docx
- AQ-房屋与市政工程2026年消防安全月消防应急演练方案.docx
- 2025年“数据要素×”大赛全国总决赛获奖项目案例集——绿色低碳赛道.docx
- 陈磊-降低新型电力系统复杂性的定频构网及有功控制技术.docx
文档评论（0）