Suchergebnisse - programming: integer algorithm branch AND sound

Convex Quadratic Sets and the Complexity of Mixed Integer Convex Quadratic Programming.

Autoren: Del Pia, Alberto

Quelle: SIAM Journal on Optimization; 2025, Vol. 35 Issue 3, p1822-1845, 24p

Schlagwörter: MIXED integer linear programming, POLYNOMIAL time algorithms, AFFINE transformations, COMPUTATIONAL complexity, CONVEX sets, POLYHEDRA

Precise algorithms for minimizing feedback in new energy product development.

Autoren: Wang, Peng Ma, Guangqi Ma, Xiaoyan et al.

Quelle: Scientific Reports; 11/17/2025, Vol. 15 Issue 1, p1-12, 12p

Schlagwörter: NEW product development, BRANCH & bound algorithms, FEEDBACK control systems, MATHEMATICAL programming, CLEAN energy industries, PROJECT management software, PROJECT management

Research on the model of piano practice time allocation and performance effect evaluation based on integer programming.

Autoren: Fan, Jing

Quelle: Journal of Combinatorial Mathematics & Combinatorial Computing; Dec2025, Vol. 127a, p5577-5589, 13p

Schlagwörter: INTEGER programming, PIANO music, PIANO instruction, MELODY, PIANO playing, FEATURE extraction

Learning to Branch: Generalization Guarantees and Limits of Data-Independent Discretization.

Autoren: Balcan, Maria-Florina Dick, Travis Sandholm, Tuomas et al.

Quelle: Journal of the ACM; Apr2024, Vol. 71 Issue 2, p1-73, 73p

Schlagwörter: CONSTRAINT satisfaction, SEARCH algorithms, TREE size, GENERALIZATION, INTEGERS

Water Networks Management: Assessment of Heuristic and Exact Approaches for Optimal Valve Location and Operation Settings Schedule.

Autoren: Cunha, Maria Marques, João Creaco, Enrico

Quelle: Water (20734441); Nov2025, Vol. 17 Issue 22, p3249, 32p

Schlagwörter: MATHEMATICAL optimization, SIMULATED annealing, ENVIRONMENTAL infrastructure, LEAKAGE, MIXED integer linear programming, OPERATIONS management, DISASTER resilience

Mathematical models and a hunting search algorithm for the no-wait flowshop scheduling with parallel machines.

Autoren: Naderi, B. Khalili, Majid Khamseh, Alireza Arshadi

Quelle: International Journal of Production Research; May2014, Vol. 52 Issue 9, p2667-2681, 15p, 6 Black and White Photographs, 1 Diagram, 4 Charts, 6 Graphs

Schlagwörter: SEARCH algorithms, MATHEMATICAL models, PRODUCTION scheduling, MIXED integer linear programming, METAHEURISTIC algorithms, BOTTLENECKS (Manufacturing), BRANCH & bound algorithms, PARTICLE swarm optimization, ANT algorithms, SIMULATED annealing, PERTURBATION theory

Multi-project scheduling under uncertainty and resource flexibility: a systematic literature review.

Autoren: Aghileh, Marzieh Tereso, Anabela Alvelos, Filipe et al.

Quelle: Production & Manufacturing Research; Dec2024, Vol. 12 Issue 1, p1-33, 33p

Schlagwörter: INTEGER programming, GENETIC algorithms, ALGORITHMS, SCHEDULING, SCHOLARS

Route Optimization for Active Sonar in Underwater Surveillance.

Autoren: Metin, Mehmet Gokhan Karatas, Mumtaz Bulkan, Serol

Quelle: Sensors (14248220); Jul2025, Vol. 25 Issue 13, p4139, 17p

Schlagwörter: SONAR, MIXED integer linear programming, ROUTE choice, ANT algorithms, SCIENTIFIC observation, ACOUSTIC arrays, EMPIRICAL research

The Branch-and-Bound Algorithm in Optimizing Mathematical Programming Models to Achieve Power Grid Observability.

Autoren: Theodorakatos, Nikolaos P. Babu, Rohit Moschoudis, Angelos P.

Quelle: Axioms (2075-1680); Nov2023, Vol. 12 Issue 11, p1040, 46p

Schlagwörter: PHASOR measurement, SMART power grids, MATHEMATICAL models, ALGORITHMS, ELECTRIC power distribution grids, MATHEMATICAL programming, SENSOR networks, SENSOR placement

Golem: a flexible and efficient solver for constrained Horn clauses.

Autoren: Blicha, Martin Britikov, Konstantin Sharygina, Natasha

Quelle: Formal Methods in System Design; Nov2025, Vol. 67 Issue 2, p143-160, 18p

Schlagwörter: SATISFIABILITY (Computer science), CONSTRAINT programming, ALGORITHMS, MODULAR design, LOGIC programming, MODEL validation

Enhanced logic-based Benders decomposition methods for the distributed heterogeneous non-permutation flow shop scheduling problem.

Autoren: Xiong, Fuli Jing, Lin Xiong, Ningxin et al.

Quelle: International Journal of Production Research; Dec2025, Vol. 63 Issue 24, p10517-10554, 38p

Recursive Objective Space Exploration (ROSE): A computationally efficient deterministic approach for bi-objective optimization.

Autoren: Hashem, Ihab De Buck, Viviane Seghers, Seppe et al.

Quelle: PLoS ONE; 8/1/2025, Vol. 20 Issue 8, p1-24, 24p

Schlagwörter: MULTI-objective optimization, PARETO optimum, OPTIMIZATION algorithms, MATHEMATICAL programming, DETERMINISTIC algorithms, MATHEMATICAL optimization

Generalized benders decomposition approach for designing a reverse logistics network for unused drugs within a circular economy framework.

Autoren: Alimohammadi, Mehdi Behnamian, Javad

Quelle: RAIRO: Operations Research (2804-7303); 2025, Vol. 59 Issue 5, p2633-2656, 24p

Schlagwörter: REVERSE logistics, CIRCULAR economy, DRUGS, ESSENTIAL drugs, MIXED integer linear programming, WASTE management, PHARMACEUTICAL industry

Firma/Körperschaft: WORLD Health Organization

Optimal drone deployment for cost‐effective and sustainable last‐mile delivery operations.

Autoren: Kumar, Gaurav Tanvir, Oqais Kumar, Akhilesh et al.

Quelle: International Transactions in Operational Research; Nov2025, Vol. 32 Issue 6, p3259-3295, 37p

Schlagwörter: TRAVEL time (Traffic engineering), DRONE aircraft delivery, MATHEMATICAL optimization, INTEGER programming, CONSUMERS

Multi-objective Integer Programming Approaches for Solving the Multi-criteria Test-suite Minimization Problem: Towards Sound and Complete Solutions of a Particular Search-based Software-engineering Problem.

Autoren: YINXING XUE YAN-FU LI

Quelle: ACM Transactions on Software Engineering & Methodology; May2020, Vol. 29 Issue 3, p1-50, 50p

Schlagwörter: INTEGER programming, SOFTWARE engineering, LINEAR programming, COMPUTER software testing, EVOLUTIONARY algorithms

Optimum redundancy allocation using spider monkey optimization.

Autoren: Agrawal, Amrita Garg, Deepika Sethi, Rachita et al.

Quelle: Soft Computing - A Fusion of Foundations, Methodologies & Applications; Nov2023, Vol. 27 Issue 21, p15595-15608, 14p

Schlagwörter: REVERSE osmosis (Water purification), OPTIMIZATION algorithms, WATER treatment plants, INTEGER programming, MONKEYS, EVOLUTIONARY algorithms

RAB: A lightweight block cipher algorithm with variable key length.

Autoren: Zhang, Xing Yang, Min Chen, Jian et al.

Quelle: Peer-to-Peer Networking & Applications; Sep2024, Vol. 17 Issue 5, p2906-2920, 15p

Schlagwörter: MIXED integer linear programming, WIRELESS sensor networks, BLOCK ciphers, CRYPTOGRAPHY, ALGORITHMS

Design of complex pipeline layout based on quantum-inspired simulated annealing algorithm.

Autoren: Li, Nianhuan Li, Junye Zou, Tiangang et al.

Quelle: Engineering Computations; 2025, Vol. 42 Issue 10, p3969-3990, 22p

Schlagwörter: SIMULATED annealing, QUANTUM computers, ALGORITHMS, MATHEMATICAL programming, ENGINEERING design, MATHEMATICAL optimization, INDUSTRIAL applications

Set-cover master problem formulations for maximum flight coverage in branch & price solution algorithms for optimal aircrew rostering.

Autoren: Kozanidis, George Moschopoulos, Odysseas

Quelle: Operational Research; Sep2025, Vol. 25 Issue 3, p1-34, 34p

Strategic deployment in the deep: Principled underwater sensor placement optimization with three-dimensional acoustic map.

Autoren: Zhu, Xiaohan Wang, Ye Fang, Zeyu et al.

Quelle: Journal of the Acoustical Society of America; Oct2024, Vol. 156 Issue 4, p2668-2685, 18p

Schlagwörter: SENSOR placement, LINEAR programming, INTEGER programming, HEURISTIC algorithms, OPERATIONS research