中文
相关论文

相关论文: Floorplanning with I/O assignment via feasibility-…

200 篇论文

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…

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…

数据结构与算法 · 计算机科学 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…

机器人学 · 计算机科学 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…

最优化与控制 · 数学 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…

最优化与控制 · 数学 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…

硬件体系结构 · 计算机科学 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…

最优化与控制 · 数学 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…

机器学习 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

最优化与控制 · 数学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

人工智能 · 计算机科学 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…

神经与进化计算 · 计算机科学 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…

最优化与控制 · 数学 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…

最优化与控制 · 数学 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…

数值分析 · 数学 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…

计算机科学中的逻辑 · 计算机科学 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…

数据结构与算法 · 计算机科学 2025-11-18 Niv Buchbinder , Joseph , Naor , David Wajc