Branch and Bound

Ask about this topic

Momentum

3 papers in the last four weeks, with none the four weeks before. 0.0% of all new papers.

Jul 13Week of Sep 28
View on map

Latest papers 18

All topics
CardsList

  1. BiFE: Search-Efficient Discovery of CPU-Only Branching Policies via LLM-based Bi-Fidelity Evolution

    Sep 29, 2026Ce Zhang, Bin Zhang, Zhiwei Xu +5Multi-Fidelity OptimizationAutomated Algorithm Discovery

    Institute of Automation, Chinese Academy of Sciences · School of Artificial Intelligence, University of Chinese Academy of Sciences · Shandong University

  2. Verifying Neural Networks with Reinforcement Learning

    Sep 28, 2026Hai Duong, Thanh Le, ThanhVu NguyenNeural Network VerificationBranch and Bound

    Department of Computer Science George Mason University Fairfax, VA, USA · Unaffiliated Yokosuka, Japan

  3. Sparsity Regularized and Robust Mean Variance Portfolio Selection Under Ellipsoidal Uncertainty

    Sep 11, 2026Deniz Akkaya, Emre Can Yayla, Buse Şen +1Branch and BoundPortfolio Optimization

    Department of Industrial Engineering, Bilkent University, Ankara, Türkiye · Risk Analytics and Optimization Chair, EPFL, Lausanne, Switzerland

  4. Computing Actual Causes for Neural Network Predictions under Structured Causal Inputs

    Aug 4, 2026Jannick Strobel, Muqsit Azeem, Stefan LeueBranch and BoundActual Causality

    University of Konstanz

  5. Optimizing Minimax Regret in Uncertain MDPs with Small Sets of Policies

    Aug 3, 2026Sterre Lutz, Daniël Vos, Matthijs T. J. Spaan +1Markov Decision ProcessesBranch and Bound

    Delft University of Technology

  6. Learning Lookahead Lemmas for Neural Network Verification

    Jul 31, 2026Liam Davis, Haoze WuNeural Network VerificationReLU Neural Networks

    Amherst College

  7. Mining Verdict Boundaries for Neural Network Verification

    Jul 31, 2026Jiawei Ren, Guanqin Zhang, Zhenya Zhang +1Neural Network VerificationBranch and Bound

    University of New South Wales, Sydney, Australia · Kyushu University, Fukuoka, Japan · National Institute of Informatics, Tokyo, Japan

  8. Lookahead Branching for Neural Network Verification

    Jul 19, 2026Liam Davis, Duo Zhou, Huan Zhang +3Neural Network VerificationBranch and Bound

    Amherst College · University of Illinois Urbana-Champaign · Hebrew University of Jerusalem +1

  9. Dynamical Vehicle Orienteering Problem for Multi-Rotor Unmanned Aerial Vehicles

    Jul 15, 2026František Nekovář, Matej Novosad, Martin Saska +1Trajectory OptimizationBranch and Bound

    Faculty of Electrical Engineering, Czech Technical University, Technicka 2, 166 27, Prague, Czech Republic

  10. Dual-Informed Vertical Expansion for Multi-Objective Node Selection in Anytime Conflict-Based Search

    Jun 30, 2026Willem van Osselaer, Jiarui Li, Meshal Alharbi +1Branch and BoundTree Search

    Laboratory for Information and Decision Systems, Massachusetts Institute of Technology, Cambridge, MA, USA

  11. Exact and Deterministic Patch Descriptor Retrieval via Hierarchical Normalization

    Jun 25, 2026Koichi SatoBranch and Bound

  12. Variable Bound Tightening for Nash Equilibrium Computation in Multiplayer Imperfect-Information Games

    Jun 24, 2026Sam GanzfriedNash EquilibriumBranch and Bound

    Ganzfried Research, Cornell University

  13. Multi-Agent Goal Recognition with Team- and Goal-Conditioned Reinforcement Learning and Factorized Branch-and-Bound

    Jun 24, 2026Thiago Thomas, Gabriel de Oliveira Ramos, Felipe MeneguzziBranch and BoundMulti-Agent Systems

    Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS) · Universidade do Vale do Rio dos Sinos (Unisinos) · University of Aberdeen

  14. Cost-Optimal Decision Diagrams for Stochastic Boolean Function Evaluation

    Jun 23, 2026Xia Zong, Tuomo Lehtonen, Jussi RintanenBranch and BoundCost-Aware Inference

    Department of Computer Science, Aalto University

  15. Bidirectional Search for Longest Paths: Case for Front-to-Front Heuristics

    Jun 4, 2026Tzur Shubi, Ariel Felner, Solomon Eyal Shimony +1Branch and BoundTree Search

    Stein Faculty of Computer and Information Science, Ben-Gurion University of the Negev, Israel

  16. From Sequential Nodes to GPU Batches: Parallel Branch and Bound for Optimal kk-Sparse GLMs

    May 21, 2026Jiachang Liu, Andrea LodiBranch and BoundGPU Kernel Optimization

    ∗Center for Data Science for Enterprise and Society, Cornell University, Ithaca, USA · †School of Operations Research and Information Engineering, Cornell University, Ithaca, USA · ‡Jacobs Technion-Cornell Institute, Cornell Tech and Technion–IIT, New York, USA

  17. LLM4Branch: Large Language Model for Discovering Efficient Branching Policies of Integer Programs

    May 11, 2026Zhinan Hou, Xingchen Li, Yankai Zhang +2Branch and BoundMixed-Integer Linear Programming

    Department of Automation, BNRist, Tsinghua University, Beijing, China.

  18. Solving Max-Cut to Global Optimality via Feasibility-Preserving Graph Neural Networks

    May 8, 2026Hao Chen, Chendi Qian, Christopher Morris +2Semidefinite ProgrammingGraph Neural Networks

    1Davidson School of Chemical Engineering, Purdue University · Faculty of Computer Science, RWTH Aachen University · 3Jacobs Technion-Cornell Institute, Cornell Tech