中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-4 of 4)

Items/Page:    Sort:
Solving Nonlinear SMT Problems Based on an Efficient Lazy Method [期刊论文]
JOURNAL OF INTERNET TECHNOLOGY, 2013-01-01, 卷号: 14, 期号: 3, 页码: 379-386
Ji, Xiaohui; Ma, Feifei

 
an efficient lazy smt solver for nonlinear numerical constraints [会议论文]
21st IEEE International WETICE Conference, WETICE 2012, Toulouse, France, June 25, 2012 - June 27, 2012
Ji Xiaohui; Ma Feifei

 
optimization method for mixed constraints problem solving [会议论文]
2010 IEEE International Conference on Intelligent Computing and Intelligent Systems, ICIS 2010, Xiamen, China, 40845
Ji Xiaohui; Huang Zhuo
  |  
 
solving global unconstrained optimization problems by symmetry-breaking [会议论文]
8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009, Shanghai, China, 43983
Ji Xiaohui; Ma Fei Fei; Zhang Jian
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace