English
Related papers

Related papers: Branch-and-Prune Search Strategies for Numerical C…

200 papers

The main goal of this paper is to describe a new pruning method for solving decision trees and game trees. The pruning method for decision trees suggests a slight variant of decision trees that we call scenario trees. In scenario trees, we…

Artificial Intelligence · Computer Science 2013-02-21 Prakash P. Shenoy

Constraint problems can be trivially solved in parallel by exploring different branches of the search tree concurrently. Previous approaches have focused on implementing this functionality in the solver, more or less transparently to the…

Artificial Intelligence · Computer Science 2010-08-26 Lars Kotthoff , Neil C. A. Moore

Golden-section search and bisection search are the two main principled algorithms for 1d minimization of quasiconvex (unimodal) functions. The first one only uses function queries, while the second one also uses gradient queries. Other…

Optimization and Control · Mathematics 2023-08-01 Laurent Orseau , Marcus Hutter

Neural network pruning is a highly effective technique aimed at reducing the computational and memory demands of large neural networks. In this research paper, we present a novel approach to pruning neural networks utilizing Bayesian…

Machine Learning · Statistics 2023-08-07 Sunil Mathew , Daniel B. Rowe

Pruning is a compression method which aims to improve the efficiency of neural networks by reducing their number of parameters while maintaining a good performance, thus enhancing the performance-to-cost ratio in nontrivial ways. Of…

Neural and Evolutionary Computing · Computer Science 2023-09-25 Hugo Tessier , Ghouti Boukli Hacene , Vincent Gripon

Current state-of-the-art methods for solving discrete optimization problems are usually restricted to convex settings. In this paper, we propose a general approach based on cutting planes for solving nonlinear, possibly nonconvex, binary…

Optimization and Control · Mathematics 2022-03-21 Hoa T. Bui , Qun Lin , Ryan Loxton

In the bi-objective branch-and-bound literature, a key ingredient is objective branching, i.e. to create smaller and disjoint sub-problems in the objective space, obtained from the partial dominance of the lower bound set by the upper bound…

Data Structures and Algorithms · Computer Science 2023-09-26 Nicolas Forget , Sophie N. Parragh

We study the complexity of cutting planes and branching schemes from a theoretical point of view. We give some rigorous underpinnings to the empirically observed phenomenon that combining cutting planes and branching into a branch-and-cut…

Optimization and Control · Mathematics 2021-05-20 Amitabh Basu , Michele Conforti , Marco Di Summa , Hongyi Jiang

Channel pruning is among the predominant approaches to compress deep neural networks. To this end, most existing pruning methods focus on selecting channels (filters) by importance/optimization or regularization based on rule-of-thumb…

Computer Vision and Pattern Recognition · Computer Science 2020-06-30 Mingbao Lin , Rongrong Ji , Yuxin Zhang , Baochang Zhang , Yongjian Wu , Yonghong Tian

State-of-the-art branch and bound algorithms for mixed integer programming make use of special methods for making branching decisions. Strategies that have gained prominence include modern variants of so-called strong branching (Applegate,…

Data Structures and Algorithms · Computer Science 2016-01-08 Fred Glover , Vladimir Shylo , Oleg Shylo

Ensemble models refer to methods that combine a typically large number of classifiers into a compound prediction. The output of an ensemble method is the result of fitting a base-learning algorithm to a given data set, and obtaining diverse…

Machine Learning · Statistics 2019-06-10 Waldyn Martinez

Many fixed-parameter tractable algorithms using a bounded search tree have been repeatedly improved, often by describing a larger number of branching rules involving an increasingly complex case analysis. We introduce a novel and general…

Discrete Mathematics · Computer Science 2015-05-19 James Nastos , Yong Gao

This paper presents a comprehensive survey of methods which can be utilized to search for solutions to systems of nonlinear equations (SNEs). Our objectives with this survey are to synthesize pertinent literature in this field by presenting…

Mathematical Software · Computer Science 2022-08-19 Ilias S. Kotsireas , Panos M. Pardalos , Alexander Semenov , William T. Trevena , Michael N. Vrahatis

The benefits of cutting planes based on the perspective function are well known for many specific classes of mixed-integer nonlinear programs with on/off structures. However, we are not aware of any empirical studies that evaluate their…

Optimization and Control · Mathematics 2021-03-18 Ksenia Bestuzheva , Ambros Gleixner , Stefan Vigerske

This paper presents the first generic bi-objective binary linear branch-and-cut algorithm. Studying the impact of valid inequalities in solution and objective spaces, two cutting frameworks are proposed. The multi-point separation problem…

Discrete Mathematics · Computer Science 2024-10-14 Pierre Fouilhoux , Lucas Létocart , Yue Zhang

We develop a spatial branch-and-cut approach for nonconvex Quadratically Constrained Quadratic Programs with bounded complex variables (CQCQP). Linear valid inequalities are added at each node of the search tree to strengthen semidefinite…

Optimization and Control · Mathematics 2017-05-26 Chen Chen , Alper Atamturk , Shmuel S. Oren

Pruning is a core technique for compressing neural networks to improve computational efficiency. This process is typically approached in two ways: one-shot pruning, which involves a single pass of training and pruning, and iterative…

Machine Learning · Computer Science 2025-08-20 Mikołaj Janusz , Tomasz Wojnar , Yawei Li , Luca Benini , Kamil Adamczewski

We present joint multi-dimension pruning (abbreviated as JointPruning), an effective method of pruning a network on three crucial aspects: spatial, depth and channel simultaneously. To tackle these three naturally different dimensions, we…

Computer Vision and Pattern Recognition · Computer Science 2021-10-04 Zechun Liu , Xiangyu Zhang , Zhiqiang Shen , Zhe Li , Yichen Wei , Kwang-Ting Cheng , Jian Sun

The orienteering problem is a route optimization problem which consists in finding a simple cycle that maximizes the total collected profit subject to a maximum distance limitation. In the last few decades, the occurrence of this problem in…

Optimization and Control · Mathematics 2021-01-14 Gorka Kobeaga , María Merino , Jose A. Lozano

Electronic phased-array radars offer new possibilities for radar search pattern optimization by using bi-dimensional beam-forming and beam-steering. Radar search pattern optimization can be approximated as a set cover problem and solved…

Optimization and Control · Mathematics 2020-02-13 Yann Briheche , Frédéric Barbaresco , Fouad Bennis , Damien Chablat