QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 内容类型：会议论文    专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 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 收藏  |  浏览/下载：18/0  |  提交时间：2011/03/20 Global optimization   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 收藏  |  浏览/下载：11/0  |  提交时间：2011/06/13 Artificial intelligence  Bionics  Computer software selection and evaluation  Set theory  Software testing   backtracking algorithms and search heuristics to generate test suites for combinatorial testing 会议论文 30th Annual International Computer Software and Applications Conference, Chicago, IL, SEP 17-21, Yan Jun; Zhang Jian 收藏  |  浏览/下载：5/0  |  提交时间：2011/07/28 SAT-based approach  backtracking search algorithm  exhaustive search of combinatorial test suite  pruning strategy  search heuristics  subcombination equalization heuristic  symmetry breaking technique  backtracking  combinatorial mathematics  computability   backtracking algorithms and search heuristics to generate test suites for combinatorial testing 会议论文 30th Annual International Computer Software and Applications Conference, Chicago, IL, SEP 17-21, Yan Jun; Zhang Jian 收藏  |  浏览/下载：8/0  |  提交时间：2011/07/28 SAT-based approach  backtracking search algorithm  exhaustive search of combinatorial test suite  pruning strategy  search heuristics  subcombination equalization heuristic  symmetry breaking technique  backtracking  combinatorial mathematics  computability   a powerful technique to eliminate isomorphism in finite model search 会议论文 3rd International Joint Conference on Automated Reasoning, Seattle, WA, AUG 17-20, Jia Xiangxue; Zhang Jian 收藏  |  浏览/下载：7/0  |  提交时间：2011/07/28 isomorphism  scheme  symmetry breaking  LNH  DASH