QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 限定条件 专题：北京大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation 其他 2015-01-01 Lin, Jinkun; Luo, Chuan; Cai, Shaowei; Su, Kaile; Hao, Dan; Zhang, Lu 收藏  |  浏览/下载：8/0  |  提交时间：2017/12/03 INTERACTION TEST SUITES  COVERING ARRAYS  CONFIGURATION CHECKING  LOCAL SEARCH  TABU SEARCH  SATISFIABILITY  SYSTEM   Mixed integer programming in production planning with backlogging and setup carryover: modeling and algorithms 期刊论文 discrete event dynamic systems theory and applications, 2013 Wu, Tao; Akartunali, Kerem; Song, Jie; Shi, Leyuan 收藏  |  浏览/下载：10/0  |  提交时间：2015/11/11 Lot sizing  Setup carryover  Backlogging  Progressive time-oriented decomposition heuristic  LOT-SIZING PROBLEM  TABU-SEARCH  SCHEDULING PROBLEM  CUTTING PLANES  HEURISTICS  HORIZON  SYSTEMS  TIMES  FORMULATIONS  MACHINE   Local search for Boolean Satisfiability with configuration checking and subscore 期刊论文 人工智能, 2013 Cai, Shaowei; Su, Kaile 收藏  |  浏览/下载：2/0  |  提交时间：2015/11/11 SAT  Local search  Configuration checking  Subscore  MINIMUM VERTEX COVER  TABU SEARCH  K-SAT  ALGORITHM  EXPRESSIONS   NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover 期刊论文 journal of artificial intelligence research, 2013 Cai, Shaowei; Su, Kaile; Luo, Chuan; Sattar, Abdul 收藏  |  浏览/下载：18/0  |  提交时间：2015/11/16 MAXIMUM CLIQUE PROBLEM  INDEPENDENT SET PROBLEM  RANDOM CONSTRAINT SATISFACTION  EXACT PHASE-TRANSITIONS  CONFIGURATION CHECKING  TABU SEARCH  MAX-SAT  HARD  OPTIMIZATION  HEURISTICS   Algorithmic aspects for multiple-choice hardware/software partitioning 期刊论文 computers operations research, 2012 Wu, Jigang; Sun, Qiqiang; Srikanthan, Thambipillai 收藏  |  浏览/下载：3/0  |  提交时间：2015/11/12 Multiple choice  Hardware/software partitioning  Heuristic  Dynamic programming  Algorithm  HARDWARE-SOFTWARE COSYNTHESIS  SYSTEMS   A hybrid heuristic algorithm for HW-SW partitioning within timed automata 其他 2006-01-01 Pu, Geguang; Chong, Zhang; Qiu, Zongyan; Lin, Zuoquan; He Jifeng 收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16 hardware/software partitioning  timed automata  GRASP  tabu search  scheduling algorithm  SEARCH   A comparison of three heuristic algorithms for molecular docking 期刊论文 中国化学快报英文版, 1999 Hou, TJ; Wang, JM; Xu, XJ 收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16 molecular docking  genetic algorithm  tabu search  simulated annealing