English
Related papers

Related papers: Moving between high-quality optima using multi-sat…

200 papers

Convex optimization with equality and inequality constraints is a ubiquitous problem in several optimization and control problems in large-scale systems. Recently there has been a lot of interest in establishing accelerated convergence of…

Optimization and Control · Mathematics 2023-07-06 Anjali Parashar , Priyank Srivastava , Anuradha M. Annaswamy

Maximizing submodular functions under cardinality constraints lies at the core of numerous data mining and machine learning applications, including data diversification, data summarization, and coverage problems. In this work, we study this…

Data Structures and Algorithms · Computer Science 2016-11-01 Alessandro Epasto , Silvio Lattanzi , Sergei Vassilvitskii , Morteza Zadimoghaddam

The state transition algorithm (STA), as an intelligent optimization method grounded in constructivist learning, has been demonstrated to be highly effective in solving complex optimization problems. However, the standard STA suffers from…

Optimization and Control · Mathematics 2026-04-30 Xiaojun Zhou , Chunhua Yang , Weihua Gui , Tingwen Huang

Many real-world applications require decision-makers to assess the quality of solutions while considering multiple conflicting objectives. Obtaining good approximation sets for highly constrained many-objective problems is often a difficult…

Artificial Intelligence · Computer Science 2025-08-13 Rodrigo Lankaites Pinheiro , Dario Landa-Silva , Wasakorn Laesanklang , Ademir Aparecido Constantino

Optimization problems are a staple of today's scientific and technical landscape. However, at present, solvers of such problems are almost exclusively run on digital hardware. Using Turing machines as a mathematical model for any type of…

Optimization and Control · Mathematics 2023-01-18 Yunseok Lee , Holger Boche , Gitta Kutyniok

In this study, we investigate the problem of min-max continuous optimization in a black-box setting $\min_{x} \max_{y}f(x,y)$. A popular approach updates $x$ and $y$ simultaneously or alternatingly. However, two major limitations have been…

Neural and Evolutionary Computing · Computer Science 2022-04-07 Atsuhiro Miyagi , Kazuto Fukuchi , Jun Sakuma , Youhei Akimoto

Efficiency of self-optimizing systems is heavily dependent on their optimization strategies, e.g., choosing exact or approximate solver. A choice of such a strategy, in turn, is influenced by numerous factors, such as re-optimization time,…

Machine Learning · Computer Science 2019-09-10 Dmytro Pukhkaiev , Uwe Aßmann

Existing studies in black-box optimization for machine learning suffer from low generalizability, caused by a typically selective choice of problem instances used for training and testing different optimization algorithms. Among other…

This work introduces StageSAT, a new approach to solving floating-point satisfiability that bridges SMT solving with numerical optimization. StageSAT reframes a floating-point formula as a series of optimization problems in three stages of…

Programming Languages · Computer Science 2026-01-09 Yuanzhuo Zhang , Zhoulai Fu , Binoy Ravindran

Optimization of expensive computer models with the help of Gaussian process emulators in now commonplace. However, when several (competing) objectives are considered, choosing an appropriate sampling strategy remains an open question. We…

Optimization and Control · Mathematics 2013-10-03 Victor Picheny

We consider black-box optimization in which only an extremely limited number of function evaluations, on the order of around 100, are affordable and the function evaluations must be performed in even fewer batches of a limited number of…

Machine Learning · Computer Science 2021-03-19 Carlos Ansotegui , Meinolf Sellmann , Tapan Shah , Kevin Tierney

We present a unified approach for constraint displacement problems in which a robot finds a feasible path by displacing constraints or obstacles. To this end, we propose a two stage process that returns locally optimal obstacle…

Robotics · Computer Science 2025-11-18 Antony Thomas , Fulvio Mastrogiovanni , Marco Baglietto

We introduce the idea that using optimal classification trees (OCTs) and optimal classification trees with-hyperplanes (OCT-Hs), interpretable machine learning algorithms developed by Bertsimas and Dunn [2017, 2018], we are able to obtain…

Optimization and Control · Mathematics 2020-06-03 Dimitris Bertsimas , Bartolomeo Stellato

The global optimization literature places large emphasis on reducing intractable optimization problems into more tractable structured optimization forms. In order to achieve this goal, many existing methods are restricted to optimization…

Optimization and Control · Mathematics 2025-04-28 Dimitris Bertsimas , Berk Öztürk

Multi-task learning (MTL) is a widely explored paradigm that enables the simultaneous learning of multiple tasks using a single model. Despite numerous solutions, the key issues of optimization conflict and task imbalance remain…

Machine Learning · Computer Science 2025-03-07 Zhipeng Zhou , Ziqiao Meng , Pengcheng Wu , Peilin Zhao , Chunyan Miao

In this article a topology optimization method is developed, which is aware of material uncertainties. The uncertainties are handled in a worst-case sense, i.e. the worst possible material distribution over a given uncertainty set is taken…

Optimization and Control · Mathematics 2018-12-13 Jannis Greifenstein , Michael Stingl

Network topology has significant impacts on operational performance of power systems. While extensive research efforts have been devoted to optimization of network topology for improving various system performances, the problem of how to…

Systems and Control · Electrical Eng. & Systems 2022-08-23 Tong Han , David J. Hill , Yue Song

3-SAT problem is of great importance to many technical and scientific applications. This paper presents a new hybrid evolutionary algorithm for solving this satisfiability problem. 3-SAT problem has the huge search space and hence it is…

Artificial Intelligence · Computer Science 2013-06-24 Nasser Lotfi , Jamshid Tamouk , Mina Farmanbar

Most people struggle with prioritizing work. While inexact heuristics have been developed over time, there is still no tractable principled algorithm for deciding which of the many possible tasks one should tackle in any given day, month,…

Artificial Intelligence · Computer Science 2021-09-16 Saksham Consul , Jugoslav Stojcheski , Valkyrie Felso , Falk Lieder

This work uses Push GP to automatically design both local and population-based optimisers for continuous-valued problems. The optimisers are trained on a single function optimisation landscape, using random transformations to discourage…

Neural and Evolutionary Computing · Computer Science 2021-05-31 Michael Lones
‹ Prev 1 4 5 6 7 8 10 Next ›