Incomplete MaxSAT approaches for combinatorial testingJournal of Heuristics - Tập 28 - Trang 377-431 - 2022
Carlos Ansótegui, Felip Manyà, Jesus Ojeda, Josep M. Salvia, Eduard Torres
We present a Satisfiability (SAT)-based approach for building Mixed Covering Arrays with Constraints of minimum length, referred to as the Covering Array Number problem. This problem is central in Combinatorial Testing for the detection of system failures. In particular, we show how to apply Maximum Satisfiability (MaxSAT) technology by describing efficient encodings for different classes of compl...... hiện toàn bộ
IntroductionJournal of Heuristics - Tập 10 - Trang 239-241 - 2004
Enrique Alba
Worst case analysis of Max-Regret, Greedy and other heuristics for Multidimensional Assignment and Traveling Salesman ProblemsJournal of Heuristics - Tập 14 - Trang 169-181 - 2007
Gregory Gutin, Boris Goldengorin, Jing Huang
Optimization heuristics are often compared with each other to determine which one performs best by means of worst-case performance ratio reflecting the quality of returned solution in the worst case. The domination number is a complement parameter indicating the quality of the heuristic in hand by determining how many feasible solutions are dominated by the heuristic solution. We prove that the M...... hiện toàn bộ
A three-phase matheuristic for capacitated multi-commodity fixed-cost network design with design-balance constraintsJournal of Heuristics - Tập 19 - Trang 757-795 - 2013
Duc Minh Vu, Teodor Gabriel Crainic, Michel Toulouse
This paper proposes a three-phase matheuristic solution strategy for the capacitated multi-commodity fixed-cost network design problem with design-balance constraints. The proposed matheuristic combines exact and neighbourhood-based methods. Tabu search and restricted path relinking meta-heuristics cooperate to generate as many feasible solutions as possible. The two meta-heuristics incorporate ne...... hiện toàn bộ
A corridor method based hybrid algorithm for redundancy allocationJournal of Heuristics - Tập 22 - Trang 405-429 - 2014
Marco Caserta, Stefan Voß
In this paper a hybrid algorithm for the redundancy allocation problem is presented. The problem is the allocation of redundant components within series-parallel systems. We present an algorithm that deals with the classical formulation, where at least one component per subsystem must be included in the final configuration, as well as the
...... hiện toàn bộ
Backbone guided tabu search for solving the UBQP problemJournal of Heuristics - Tập 19 - Trang 679-695 - 2011
Yang Wang, Zhipeng Lü, Fred Glover, Jin-Kao Hao
We propose a backbone-guided tabu search (BGTS) algorithm for the Unconstrained Binary Quadratic Programming (UBQP) problem that alternates between two phases: (1) a basic tabu search procedure to optimize the objective function as far as possible; (2) a strategy using the TS notion of strongly determined variables to alternately fix and free backbone components of the solutions which are estimate...... hiện toàn bộ
Local search for a multi-drop multi-container loading problemJournal of Heuristics - Tập 19 - Trang 275-294 - 2011
Sara Ceschia, Andrea Schaerf
We consider a complex variant of the Container Loading Problem arising from a real-world industrial application. It includes several features such as multiple containers, box rotation, and bearable weight, which are of importance in many practical situations. In addition, it also considers the situation in which boxes have to be delivered to different destinations (multi-drop). Our solution techni...... hiện toàn bộ
Adaptive Reservoir Evolutionary Algorithm: An Evolutionary On-Line Adaptation Scheme for Global Function OptimizationJournal of Heuristics - Tập 10 - Trang 555-586 - 2004
C. Munteanu, A.C. Rosa
This paper introduces a novel global optimization heuristic algorithm based on the basic paradigms of Evolutionary Algorithms (EA). The algorithm greatly extends a previous strategy proposed by the authors in Munteanu and Lazarescu (1998). In the newly designed algorithm the exploration/exploitation of the search space is adapted on-line based on the current features of the landscape that is being...... hiện toàn bộ
Matheuristics to optimize refueling and maintenance planning of nuclear power plantsJournal of Heuristics - Tập 27 - Trang 63-105 - 2020
Nicolas Dupin, El-Ghazali Talbi
Planning the maintenance of nuclear power plants is a complex optimization problem, involving a joint optimization of maintenance dates, fuel constraints and power production decisions. This paper investigates Mixed Integer Linear Programming (MILP) matheuristics for this problem, to tackle large size instances used in operations with a time scope of 5 years, and few restrictions with time window ...... hiện toàn bộ
A heuristic solution method for node routing based solid waste collection problemsJournal of Heuristics - Tập 19 - Trang 129-156 - 2011
Vera Hemmelmayr, Karl F. Doerner, Richard F. Hartl, Stefan Rath
This paper considers a real world waste collection problem in which glass, metal, plastics, or paper is brought to certain waste collection points by the citizens of a certain region. The collection of this waste from the collection points is therefore a node routing problem. The waste is delivered to special sites, so called intermediate facilities (IF), that are typically not identical with the ...... hiện toàn bộ