中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共9条，第1-9条 帮助

已选(0)清除 条数/页：   排序方式：
Improving the performance of stochastic local search for maximum vertex weight clique problem using programming by optimization 期刊论文
EXPERT SYSTEMS WITH APPLICATIONS, 2023, 卷号: 213, 页码: 13
作者:  Chu, Yi;  Luo, Chuan;  Hoos, Holger H.;  You, Haihang
收藏  |  浏览/下载：107/0  |  提交时间：2023/07/12
Maximum clique problem  Stochastic local search  Programming by optimization  
An efficient local search algorithm for solving maximum edge weight clique problem in large graphs 期刊论文
JOURNAL OF COMBINATORIAL OPTIMIZATION, 2020, 页码: 22
作者:  Chu, Yi;  Liu, Boxiao;  Cai, Shaowei;  Luo, Chuan;  You, Haihang
收藏  |  浏览/下载：130/0  |  提交时间：2020/12/10
Graph reduction  Maximum edge weight clique problem  Stochastic local search  
Empirical investigation of stochastic local search for maximum satisfiability 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2019, 卷号: 13, 期号: 1, 页码: 86-98
作者:  Chu, Yi;  Luo, Chuan;  Cai, Shaowei;  You, Haihang
收藏  |  浏览/下载：178/0  |  提交时间：2019/04/03
empirical investigation  stochastic local search  maximum satisfiability  industrial instances  additive BMS  
An efficient local search algorithm for the winner determination problem 期刊论文
JOURNAL OF HEURISTICS, 2017, 卷号: 23, 期号: 5, 页码: 367-396
作者:  Zhang, Haochen;  Cai, Shaowei;  Luo, Chuan;  Yin, Minghao
收藏  |  浏览/下载：147/0  |  提交时间：2019/12/12
Winner determination problem  Local search  Configuration checking  Pseudo-tie mechanism  
Construction of ground-state preserving sparse lattice models for predictive materials simulations 期刊论文
NPJ COMPUTATIONAL MATERIALS, 2017, 卷号: 3, 页码: 9
作者:  Huang, Wenxuan;  Urban, Alexander;  Rong, Ziqin;  Ding, Zhiwei;  Luo, Chuan;  Ceder, Gerbrand
收藏  |  浏览/下载：139/0  |  提交时间：2019/12/10
CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability 期刊论文
ARTIFICIAL INTELLIGENCE, 2017, 卷号: 243, 页码: 26-44
作者:  Luo, Chuan;  Cai, Shaowei;  Su, Kaile;  Huang, Wenxuan
收藏  |  浏览/下载：129/0  |  提交时间：2019/12/12
Local search  Weighted partial maximum satisfiability  Emphasis on hard clauses  
Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess 期刊论文
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2017, 卷号: 59, 页码: 463-494
作者:  Cai, Shaowei;  Lin, Jinkun;  Luo, Chuan
收藏  |  浏览/下载：135/0  |  提交时间：2019/12/12
New local search methods for partial MaxSAT 期刊论文
ARTIFICIAL INTELLIGENCE, 2016, 卷号: 240, 页码: 1-18
作者:  Cai, Shaowei;  Luo, Chuan;  Lin, Jinkun;  Su, Kaile
收藏  |  浏览/下载：135/0  |  提交时间：2019/12/13
Partial MaxSAT  Local search  Hard and soft score  Initialization  
Finding and proving the exact ground state of a generalized Ising model by convex optimization and MAX-SAT 期刊论文
PHYSICAL REVIEW B, 2016, 卷号: 94, 期号: 13, 页码: 12
作者:  Huang, Wenxuan;  Kitchaev, Daniil A.;  Dacek, Stephen T.;  Rong, Ziqin;  Urban, Alexander;  Cao, Shan;  Luo, Chuan;  Ceder, Gerbrand
收藏  |  浏览/下载：138/0  |  提交时间：2019/12/13