您好,欢迎访问北京航空航天大学!
当前位置:首页 > 资源导航 > 学位
      点击排行

      SAT和CSP的相变现象研究

      点击次数: [本站收藏]
      外文题名:A study on the phase transitions of SAT and CSP
      作者:许可
      关键词:约束满足问题算法设计与分析相变可满足性问题
      分类号:O232;C913.14;TP301.6
      导师姓名:李未
      学位名称:博士
      学位授予单位:北京航空航天大学
      学位年度:2000
      摘要:SAT和CSP的相变现象研究摘要 可满足性问题(the satisfiability problem,简称SAT)是计算机科学的中心问题之一,而相变现象则是SAT问题的一个重要特性。本文首先总结了有关SAT相变现象的研究进展。针对... >> 详细
      外文摘要:A Study on the Phase Transitions of SAT and CSPAuthor:Xu KeSupervisor:Li WeiAbstract The satisfiability pro...