W Guo, HL Zhen, X Li, W Luo, M Yuan, Y Jin… - Machine Intelligence …, 2023 - Springer
This paper reviews the recent literature on solving the Boolean satisfiability problem (SAT), an archetypal NP-complete problem, with the aid of machine learning (ML) techniques. Over …
Z Geng, X Li, J Wang, X Li… - Advances in Neural …, 2024 - proceedings.neurips.cc
In the past few years, there has been an explosive surge in the use of machine learning (ML) techniques to address combinatorial optimization (CO) problems, especially mixed-integer …
Y Li, J Guo, R Wang, J Yan - Advances in Neural …, 2024 - proceedings.neurips.cc
Extensive experiments have gradually revealed the potential performance bottleneck of modeling Combinatorial Optimization (CO) solving as neural solution prediction tasks. The …
Research background: The article explores the integration of Artificial Intelligence (AI) in predictive maintenance (PM) within Industrial Internet of Things (IIoT) context. It addresses …
Global Routing (GR) is a core yet time-consuming task in VLSI systems. It recently attracted efforts from the machine learning community, especially generative models, but they suffer …
Electricity outages can result in consequences for customers and cause disruptions that result in revenue loss, business productivity reduction, appliance damage, and …
M Paulus, A Krause - Advances in Neural Information …, 2024 - proceedings.neurips.cc
Primal heuristics are important for solving mixed integer linear programs, because they find feasible solutions that facilitate branch and bound search. A prominent group of primal …
H Ye, H Xu, H Wang, C Wang… - … Conference on Machine …, 2023 - proceedings.mlr.press
The latest two-stage optimization framework based on graph neural network (GNN) and large neighborhood search (LNS) is the most popular framework in solving large-scale …
J Lin, J Zhu, H Wang, T Zhang - Knowledge-Based Systems, 2022 - Elsevier
Abstract Machine learning techniques have attracted increasing attention in learning Branch- and-Bound (B&B) variable selection policies, but most of the existing methods lack …