English
Related papers

Related papers: Floorplanning with I/O assignment via feasibility-…

200 papers

One challenge of legged locomotion on uneven terrains is to deal with both the discrete problem of selecting a contact surface for each footstep and the continuous problem of placing each footstep on the selected surface. Consequently,…

The layout of analog ICs requires making complex trade-offs, while addressing device physics and variability of the circuits. This makes full automation with learning-based solutions hard to achieve. However, reinforcement learning (RL) has…

Artificial Intelligence · Computer Science 2025-05-09 Sandro Junior Della Rovere , Davide Basso , Luca Bortolussi , Mirjana Videnovic-Misic , Husni Habal

Linear programming (LP) is an extremely useful tool and has been successfully applied to solve various problems in a wide range of areas, including operations research, engineering, economics, or even more abstract mathematical areas such…

Data Structures and Algorithms · Computer Science 2020-03-19 Agniva Chowdhury , Palma London , Haim Avron , Petros Drineas

In many robotic manipulation scenarios, robots often have to perform highly-repetitive tasks in structured environments e.g. sorting mail in a mailroom or pick and place objects on a conveyor belt. In this work we are interested in settings…

Robotics · Computer Science 2019-04-15 Fahad Islam , Oren Salzman , Maxim Likhachev

Given a family of linear constraints and a linear objective function one can consider whether to apply a Linear Programming (LP) algorithm or use a Linear Superiorization (LinSup) algorithm on this data. In the LP methodology one aims at…

Optimization and Control · Mathematics 2026-01-27 Jan Schröder , Yair Censor , Philipp Süss , Karl-Heinz Küfer

We study a method that involves principally convex feasibility-seeking and makes secondary efforts of objective function value reduction. This is the well-known superiorization method (SM), where the iterates of an asymptotically convergent…

Optimization and Control · Mathematics 2025-02-07 Kay Barshad , Yair Censor , Walaa Moursi , Tyler Weames , Henry Wolkowicz

Floorplanning is the first stage of VLSI physical design. An effective floorplanning engine definitely has positive impact on chip design speed, quality and performance. In this paper, we present a novel mathematical model to characterize…

Hardware Architecture · Computer Science 2022-10-10 Ximeng Li , Keyu Peng , Fuxing Huang , Wenxing Zhu

We provide improved convergence rates for various \emph{non-smooth} optimization problems via higher-order accelerated methods. In the case of $\ell_\infty$ regression, we achieves an $O(\epsilon^{-4/5})$ iteration complexity, breaking the…

Optimization and Control · Mathematics 2019-06-05 Brian Bullins , Richard Peng

We present new policy mirror descent (PMD) methods for solving reinforcement learning (RL) problems with either strongly convex or general convex regularizers. By exploring the structural properties of these overall highly nonconvex…

Machine Learning · Computer Science 2022-04-08 Guanghui Lan

Parallel machine scheduling has been extensively studied in the past decades, with applications ranging from production planning to job processing in large computing clusters. In this work we study some of these fundamental optimization…

Data Structures and Algorithms · Computer Science 2015-09-08 Yael Mordechai

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

IP lookup via Longest Prefix Match (LPM) is critical for packet forwarding. Unfortunately, conventional lookup algorithms are inefficient for IPv6 Forwarding Information Bases (FIBs), which are characterized by a set of long prefixes with…

Data Structures and Algorithms · Computer Science 2026-04-29 Zhihao Zhang , Lanzheng Liu , Chen Chen , Huiba Li , Jiwu Shu , Windsor Hsu , Yiming Zhang

Linear programming (LP) is an extremely useful tool which has been successfully applied to solve various problems in a wide range of areas, including operations research, engineering, economics, or even more abstract mathematical areas such…

Data Structures and Algorithms · Computer Science 2022-09-26 Agniva Chowdhury , Gregory Dexter , Palma London , Haim Avron , Petros Drineas

Weighted Max-SAT is the optimization version of SAT and many important problems can be naturally encoded as such. Solving weighted Max-SAT is an important problem from both a theoretical and a practical point of view. In recent years, there…

Artificial Intelligence · Computer Science 2007-05-23 Javier Larrosa , Federico Heras , Simon de Givry

By formulating the floorplanning of VLSI as a mixed-variable optimization problem, this paper proposes to solve it by memetic algorithms, where the discrete orientation variables are addressed by the distribution evolutionary algorithm…

Neural and Evolutionary Computing · Computer Science 2024-01-30 Jian Sun , Huabin Cheng , Jian Wu , Zhanyang Zhu , Yu Chen

This paper proposes a new algorithm for solving MAX2SAT problems based on combining search methods with semidefinite programming approaches. Semidefinite programming techniques are well-known as a theoretical tool for approximating maximum…

Optimization and Control · Mathematics 2018-12-18 Po-Wei Wang , J. Zico Kolter

This work addresses the uniform parallel machine scheduling problem within an optimistic bilevel optimization framework. The leader seeks to minimize the weighted number of tardy jobs, while the follower aims to minimize the total…

Optimization and Control · Mathematics 2026-05-20 Quentin Schau , Federico Della Croce , Olivier Ploton , Vincent t'Kindt

By adjusting both the structural shape and fiber orientation, this research aims to optimize the design of Fiber Reinforced Composite structures. The structural geometry is represented by a level set function, which is approximated by…

Numerical Analysis · Mathematics 2024-03-29 M. Mokhtarzadeh , F Lopez Jimenez , K. Maute

Streamliner constraints reduce the search space of combinatorial problems by ruling out portions of the solution space. We adapt the StreamLLM approach, which uses Large Language Models (LLMs) to generate streamliners for Constraint…

Logic in Computer Science · Computer Science 2026-04-22 Florentina Voboril , Martin Gebser , Stefan Szeider , Alice Tarzariol

We introduce the \emph{submodular objectives chasing problem}, which generalizes many natural and previously-studied problems: a sequence of constrained submodular maximization problems is revealed over time, with both the objective and…

Data Structures and Algorithms · Computer Science 2025-11-18 Niv Buchbinder , Joseph , Naor , David Wajc