English
Related papers

Related papers: Efficient Local Search for Nonlinear Real Arithmet…

200 papers

Constrained Optimum Path (COP) problems appear in many real-life applications, especially on communication networks. Some of these problems have been considered and solved by specific techniques which are usually difficult to extend. In…

Artificial Intelligence · Computer Science 2009-10-08 Quang Dung Pham , Yves Deville , Pascal Van Hentenryck

We explore the potential of continuous local search (CLS) in SAT solving by proposing a novel approach for finding a solution of a hybrid system of Boolean constraints. The algorithm is based on CLS combined with belief propagation on…

Artificial Intelligence · Computer Science 2021-06-15 Anastasios Kyrillidis , Moshe Y. Vardi , Zhiwei Zhang

Multidimensional optimization problems where the objective function and the constraints are multiextremal non-differentiable Lipschitz functions (with unknown Lipschitz constants) and the feasible region is a finite collection of robust…

Optimization and Control · Mathematics 2015-03-19 Yaroslav D. Sergeyev , Paolo Pugliese , Domenico Famularo

We study the problem of learning similarity by using nonlinear embedding models (e.g., neural networks) from all possible pairs. This problem is well-known for its difficulty of training with the extreme number of pairs. For the special…

Machine Learning · Statistics 2021-06-16 Bowen Yuan , Yu-Sheng Li , Pengrui Quan , Chih-Jen Lin

This paper introduces a problem in which the state of a system needs to be determined through costly tests of its components by a limited number of testing units and before a given deadline. We also consider a closely related search problem…

Discrete Mathematics · Computer Science 2021-01-15 Alessandro Agnetis , Ben Hermans , Roel Leus , Salim Rostami

In this work we introduce and analyze a new multiscale method for strongly nonlinear monotone equations in the spirit of the Localized Orthogonal Decomposition. A problem-adapted multiscale space is constructed by solving linear local…

Numerical Analysis · Mathematics 2020-12-16 Barbara Verfürth

We propose a novel linesearch variant of the trust region normal map-based semismooth Newton method developed in [Ouyang and Milzarek, Math. Program. 212(1-2), 389--435 (2025)] for solving a class of nonsmooth, nonconvex composite-type…

Optimization and Control · Mathematics 2026-02-16 Hanfeng Zeng , Wenqing Ouyang , Andre Milzarek

The suboptimal physical design of the integrated circuits may not only increase the manufacturing costs due to the larger size of the chip but can also impact its performance by placing interconnected rectangular devices too far from each…

Other Computer Science · Computer Science 2024-10-23 Josef Grus , Zdeněk Hanzálek

Multi-task learning is a powerful method for solving several tasks jointly by learning robust representation. Optimization of the multi-task learning model is a more complex task than a single-task due to task conflict. Based on theoretical…

Machine Learning · Computer Science 2021-10-05 Andrey Filatov , Daniil Merkulov

This paper considers the fixed point problem for a nonexpansive mapping on a real Hilbert space and proposes novel line search fixed point algorithms to accelerate the search. The termination conditions for the line search are based on the…

Optimization and Control · Mathematics 2015-09-21 Hideaki Iiduka

We introduce a fast iterative non-local shrinkage algorithm to recover MRI data from undersampled Fourier measurements. This approach is enabled by the reformulation of current non-local schemes as an alternating algorithm to minimize a…

Computer Vision and Pattern Recognition · Computer Science 2014-05-22 Yasir Q. Moshin , Greg Ongie , Mathews Jacob

This paper proposes a new algorithm based on multi-scale stochastic local search with binary representation for training neural networks. In particular, we study the effects of neighborhood evaluation strategies, the effect of the number of…

Neural and Evolutionary Computing · Computer Science 2016-11-17 Mauro Brunato , Roberto Battiti

Scheduling problems in manufacturing, logistics and project management have frequently been modeled using the framework of Resource Constrained Project Scheduling Problems with minimum and maximum time lags (RCPSP/max). Due to the…

Artificial Intelligence · Computer Science 2014-01-21 Na Fu , Hoong Chuin Lau , Pradeep R. Varakantham , Fei Xiao

This paper proposes an arc-search interior-point algorithm for the nonlinear constrained optimization problem. The proposed algorithm uses the second-order derivatives to construct a search arc that approaches the optimizer. Because the arc…

Optimization and Control · Mathematics 2025-06-13 Yaguang Yang

Developments of nonlocal operators for modeling processes that traditionally have been described by local differential operators have been increasingly active during the last few years. One example is peridynamics for brittle materials and…

Numerical Analysis · Mathematics 2020-04-06 Xiaochuan Tian , Bjorn Engquist

One of the main strengths of online algorithms is their ability to adapt to arbitrary data sequences. This is especially important in nonparametric settings, where performance is measured against rich classes of comparator functions that…

Machine Learning · Computer Science 2020-11-03 Ilja Kuzborskij , Nicolò Cesa-Bianchi

Stochastic local search algorithms are frequently used to numerically solve hard combinatorial optimization or decision problems. We give numerical and approximate analytical descriptions of the dynamics of such algorithms applied to random…

Statistical Mechanics · Physics 2009-11-10 Wolfgang Barthel , Alexander K. Hartmann , Martin Weigt

One powerful technique to solve NP-hard optimization problems in practice is branch-and-reduce search---which is branch-and-bound that intermixes branching with reductions to decrease the input size. While this technique is known to be very…

Data Structures and Algorithms · Computer Science 2018-10-26 Sebastian Lamm , Christian Schulz , Darren Strash , Robert Williger , Huashuo Zhang

Autonomous navigation often requires the simultaneous optimization of multiple objectives. The most common approach scalarizes these into a single cost function using a weighted sum, but this method is unable to find all possible trade-offs…

Robotics · Computer Science 2026-04-07 Krishna Kalavadia , Shamak Dutta , Yash Vardhan Pant , Stephen L. Smith

Many problems in nonlinear analysis and optimization, among them variational inequalities and minimization of convex functions, can be reduced to finding zeros (namely, roots) of set-valued operators. Hence numerous algorithms have been…

Optimization and Control · Mathematics 2018-10-23 Daniel Reem , Simeon Reich