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

Search Results

Help

Item hits: (Results 1-9 of 9)

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

 
finding orthogonal latin squares using finite model searching tools [期刊论文]
Science China Information Sciences, 2013-01-01, 卷号: 56, 期号: 3, 页码: 1-9
Ma FeiFei; Zhang Jian

 
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

 
faulty interaction identification via constraint solving and optimization [会议论文]
15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, Trento, Italy, June 17, 2012 - June 20, 2012
Zhang Jian; Ma Feifei; Zhang Zhiqiang

 
solving generalized optimization problems subject to smt constraints [会议论文]
6th International Frontiers of Algorithmics Workshop, FAW 2012 and 8th International Conference on Algorithmic Aspects of Information and Management, AAIM 2012, Beijing, China, May 14, 2012 - May 16, 2012
Ma Feifei; Yan Jun; Zhang Jian

 
constraint solving techniques for software testing and analysis [会议论文]
32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, Cape Town, South africa, May 1, 201
Ma Feifei
  |  
 
volume computation for boolean combination of linear arithmetic constraints [会议论文]
22nd International Conference on Automated Deduction (CADE-22), Montreal, CANADA, AUG 02-07,
Ma Feifei; Liu Sheng; Zhang Jian

 
computer search for large sets of idempotent quasigroups [会议论文]
8th Asian Symposium on Computer Mathematics, Singapore, SINGAPORE, DEC 15-17,
Ma Feifei; Zhang Jian
  |  
 
finding orthogonal arrays using satisfiability checkers and symmetry breaking constraints [会议论文]
10th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2008), Hanoi, VIETNAM, DEC 15-19,
Ma Feifei; Zhang Jian
  |  
 

1

 

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