[PDF][PDF] Recent Advances in Practical Data Reduction.

FN Abu-Khzam, S Lamm, M Mnich, A Noe… - Algorithms for Big …, 2022 - library.oapen.org
Over the last two decades, significant advances have been made in the design and analysis
of fixed-parameter algorithms for a wide variety of graphtheoretic problems. This has …

[PDF][PDF] Balance between complexity and quality: Local search for minimum vertex cover in massive graphs

S Cai - Twenty-Fourth International Joint Conference on …, 2015 - ijcai.org
The problem of finding a minimum vertex cover (MinVC) in a graph is a well known NP-hard
problem with important applications. There has been much interest in develo** heuristic …

Two efficient local search algorithms for maximum weight clique problem

Y Wang, S Cai, M Yin - Proceedings of the AAAI Conference on Artificial …, 2016 - ojs.aaai.org
Abstract The Maximum Weight Clique problem (MWCP) is an important generalization of the
Maximum Clique problem with wide applications. This paper introduces two heuristics and …

[HTML][HTML] SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem

Y Wang, S Cai, J Chen, M Yin - Artificial Intelligence, 2020 - Elsevier
The maximum weight clique problem (MWCP) is an important generalization of the
maximum clique problem with wide applications. In this study, we develop two efficient local …

An improved master-apprentice evolutionary algorithm for minimum independent dominating set problem

S Pan, Y Ma, Y Wang, Z Zhou, J Ji, M Yin… - Frontiers of Computer …, 2023 - Springer
The minimum independent dominance set (MIDS) problem is an important version of the
dominating set with some other applications. In this work, we present an improved master …

[HTML][HTML] Local search for boolean satisfiability with configuration checking and subscore

S Cai, K Su - Artificial Intelligence, 2013 - Elsevier
This paper presents and analyzes two new efficient local search strategies for the Boolean
Satisfiability (SAT) problem. We start by proposing a local search strategy called …

Reinforcement learning based local search for grou** problems: A case study on graph coloring

Y Zhou, JK Hao, B Duval - Expert Systems with Applications, 2016 - Elsevier
Grou** problems aim to partition a set of items into multiple mutually disjoint subsets
according to some specific criterion and constraints. Grou** problems cover a large class …

[HTML][HTML] CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability

C Luo, S Cai, K Su, W Huang - Artificial Intelligence, 2017 - Elsevier
Weighted maximum satisfiability and (unweighted) partial maximum satisfiability (PMS) are
two significant generalizations of maximum satisfiability (MAX-SAT), and weighted partial …

[PDF][PDF] Intelligent Virtual Machine Provisioning in Cloud Computing.

C Luo, B Qiao, X Chen, P Zhao, R Yao, H Zhang, W Wu… - IJCAI, 2020 - ijcai.org
Virtual machine (VM) provisioning is a common and critical problem in cloud computing. In
industrial cloud platforms, there are a huge number of VMs provisioned per day. Due to the …

Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism

J Chen, S Cai, Y Wang, W Xu, J Ji, M Yin - Artificial Intelligence, 2023 - Elsevier
The minimum weight dominating set (MWDS) problem is an important generalization of the
minimum dominating set problem with various applications. In this work, we develop an …