混合约束问题求解研究

出版社:中国科学院
出版年:2008
作者:季晓慧
资源类型:图书
细分类型:中文文献
相关推荐

自适应约束满足问题求解方法的研究

  • 作者:王海燕
  • ISBN:9787030674135
  • 出版社:科学出版社
  • 出版年:2021

基于约束求解的自动化软件测试研究

  • 作者:严俊
  • 出版社:中国科学院
  • 出版年:2007

SAT和SMT问题的混合求解算法及应用

  • 作者:张昕荻
  • 出版社:中国科学院软件研究所
  • 出版年:2024

求解几何约束问题的几何变换法

  • 作者:黄磊东
  • 出版年:2000