English
Related papers

Related papers: Structure-Based Local Search Heuristics for Circui…

200 papers

Neural Architecture Search remains a very challenging meta-learning problem. Several recent techniques based on parameter-sharing idea have focused on reducing the NAS running time by leveraging proxy models, leading to architectures with…

Machine Learning · Computer Science 2022-02-08 Minsu Cho , Mohammadreza Soltani , Chinmay Hegde

Propositional model counting, or #SAT, is the problem of computing the number of satisfying assignments of a Boolean formula. Many problems from different application areas, including many discrete probabilistic inference problems, can be…

Machine Learning · Computer Science 2022-09-12 Pashootan Vaezipoor , Gil Lederman , Yuhuai Wu , Chris J. Maddison , Roger Grosse , Sanjit A. Seshia , Fahiem Bacchus

DARTS search space (DSS) has become a canonical benchmark for NAS whereas some emerging works pointed out the issue of narrow accuracy range and claimed it would hurt the method ranking. We observe some recent studies already suffer from…

Machine Learning · Computer Science 2023-06-13 Jiuling Zhang , Zhiming Ding

Many efforts of research are devoted to semantic role labeling (SRL) which is crucial for natural language understanding. Supervised approaches have achieved impressing performances when large-scale corpora are available for resource-rich…

Computation and Language · Computer Science 2020-05-08 Hao Fei , Meishan Zhang , Donghong Ji

The structure of satisfiability problems is used to improve search algorithms for quantum computers and reduce their required coherence times by using only a single coherent evaluation of problem properties. The structure of random k-SAT…

Quantum Physics · Physics 2009-10-06 Tad Hogg

Stochastic convex optimization problems with expectation constraints (SOECs) are encountered in statistics and machine learning, business, and engineering. In data-rich environments, the SOEC objective and constraints contain expectations…

Optimization and Control · Mathematics 2020-01-03 Qihang Lin , Selvaprabu Nadarajah , Negar Soheili , Tianbao Yang

In recent years, robots and autonomous systems have become increasingly integral to our daily lives, offering solutions to complex problems across various domains. Their application in search and rescue (SAR) operations, however, presents…

Robotics · Computer Science 2024-09-23 Dimitrios Panagopoulos , Adolfo Perrusquia , Weisi Guo

Open-world interactive object search in household environments requires understanding semantic relationships between objects and their surrounding context to guide exploration efficiently. Prior methods either rely on vision-language…

Robotics · Computer Science 2026-05-28 Imen Mahdi , Matteo Cassinelli , Fabien Despinoy , Tim Welschehold , Abhinav Valada

Searching code is a common task that developers perform to understand APIs, learn common code patterns, and navigate code. Currently, developers most commonly search using keywords and regular expressions that are easy to use and widely…

Software Engineering · Computer Science 2025-07-04 Ben Limpanukorn , Yanjun Wang , Zach Patterson , Pranav Garg , Murali Krishna Ramanathan , Xiaofei Ma , Anoop Deoras , Miryung Kim

As we approach the physical limits predicted by Moore's law, a variety of specialized hardware is emerging to tackle specialized tasks in different domains. Within combinatorial optimization, adiabatic quantum computers, CMOS annealers, and…

Data Structures and Algorithms · Computer Science 2020-12-01 Xiaoyuan Liu , Hayato Ushijima-Mwesigwa , Avradip Mandal , Sarvagya Upadhyay , Ilya Safro , Arnab Roy

Location-based services (LBS) have become more and more ubiquitous recently. Existing methods focus on finding relevant points-of-interest (POIs) based on users' locations and query keywords. Nowadays, modern LBS applications generate a new…

Databases · Computer Science 2012-05-31 Ju Fan , Guoliang Li , Lizhu Zhou , Shanshan Chen , Jun Hu

In this paper we present a new population based metaheuristic called the fixed set search (FSS). The proposed approach represents a method of adding a learning mechanism to the greedy randomized adaptive search procedure (GRASP). The basic…

Artificial Intelligence · Computer Science 2018-09-14 Raka Jovanovic , Milan Tuba , Stefan Voss

The Implicit Hitting Set (HS) approach has shown to be very effective for MaxSAT, Pseudo-boolean optimization and other boolean frameworks. Very recently, it has also shown its potential in the very similar Weighted CSP framework by means…

Artificial Intelligence · Computer Science 2025-01-15 Emma Rollón , Javier Larrosa , Aleksandra Petrova

We show how one can use certain deterministic algorithms for higher-value constraint satisfaction problems (CSPs) to speed up deterministic local search for 3-SAT. This way, we improve the deterministic worst-case running time for 3-SAT to…

Data Structures and Algorithms · Computer Science 2010-07-27 Konstantin Kutzkov , Dominik Scheder

Although Simultaneous Localization and Mapping (SLAM) has been an active research topic for decades, current state-of-the-art methods still suffer from instability or inaccuracy due to feature insufficiency or its inherent estimation drift,…

Robotics · Computer Science 2022-07-28 Yang Lyu , Thien-Minh Nguyen , Liu Liu , Muqing Cao , Shenghai Yuan , Thien Hoang Nguyen , Lihua Xie

Causal structure learning (CSL) refers to the task of learning causal relationships from data. Advances in CSL now allow learning of causal graphs in diverse application domains, which has the potential to facilitate data-driven causal…

Machine Learning · Statistics 2024-07-09 Luka Kovačević , Izzy Newsham , Sach Mukherjee , John Whittaker

Learning the causal structure behind data is invaluable for improving generalization and obtaining high-quality explanations. We propose a novel framework, Invariant Structure Learning (ISL), that is designed to improve causal structure…

Machine Learning · Computer Science 2022-06-15 Yunhao Ge , Sercan Ö. Arik , Jinsung Yoon , Ao Xu , Laurent Itti , Tomas Pfister

Differentiable architecture search (DARTS) is a prevailing NAS solution to identify architectures. Based on the continuous relaxation of the architecture space, DARTS learns a differentiable architecture weight and largely reduces the…

Machine Learning · Computer Science 2021-01-19 Xiangning Chen , Cho-Jui Hsieh

Conversational Recommender Systems (CRSs) have garnered attention as a novel approach to delivering personalized recommendations through multi-turn dialogues. This review developed a taxonomy framework to systematically categorize relevant…

Human-Computer Interaction · Computer Science 2025-06-26 Haoran Zhang , Xin Zhao , Jinze Chen , Junpeng Guo

Neural routing solvers (NRSs) that leverage deep learning to tackle vehicle routing problems have demonstrated notable potential for practical applications. By learning implicit heuristic rules from data, NRSs replace the handcrafted…

Optimization and Control · Mathematics 2026-03-17 Yunpeng Ba , Xi Lin , Changliang Zhou , Ruihao Zheng , Zhenkun Wang , Xinyan Liang , Zhichao Lu , Jianyong Sun , Yuhua Qian , Qingfu Zhang