Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell? Abstract. We consider optimization problems of th

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Formal methods
• Mathematical logic
• Boolean algebra
• Boolean satisfiability problem
• Electronic design automation
• Logic in computer science
• Resolution
• COMPASS/Sample Code
• BCD

Source-side Preordering for Translation using Logistic Regression and Depth-first Branch-and-Bound Search∗ Laura Jehl? ? Adri`a de Gispert‡

Source URL: aclweb.org

MAX CUT SDP based Branch and Bound

Source URL: www.cs.cityu.edu.hk

On the impact of symmetry-breaking constraints on spatial Branch-and-Bound for circle packing in a square✩ Alberto Costaa , Pierre Hansena,b , Leo Libertia,∗ b GERAD,

Source URL: www.lix.polytechnique.fr

Parallel Branch and Bound: Applying an Asynchronous Multi-Pool Approach to Cyclic Best First Search Joshua Gluck, Nartezya Dykes Swarthmore College, Spelman College, and The University of Illinois at Urbana-Champaign

Source URL: www.synergylabs.org

Experimental Evaluation of a Branch and Bound Algorithm for Computing Pathwidth and Directed Pathwidth David Coudert, Dorian Mazauric, Nicolas Nisse To cite this version:

Source URL: hal.inria.fr

NASA/TM–Kodiak: An Implementation Framework for Branch and Bound Algorithms Andrew P. Smith National Institute of Aerospace, Hampton, Virginia

Source URL: shemesh.larc.nasa.gov

Microsoft Word - orbs7180.doc

Source URL: www.math.hkbu.edu.hk

• Operations research
• Mathematics
• Computational complexity theory
• Applied mathematics
• Mathematical optimization
• Heuristic
• Integer programming
• Relaxation
• Branch and bound
• Combinatorial optimization
• Travelling salesman problem
• Algorithm

Genome Informatics 12: 73–A Multi-Queue Branch-and-Bound Algorithm for Anytime Optimal Search

Source URL: www.jsbi.org

• Combinatorial optimization
• Mathematics
• Search algorithms
• Applied mathematics
• Routing algorithms
• Probability theory
• Stochastic processes
• A* search algorithm
• Game artificial intelligence
• Branch and bound
• Priority queue
• Algorithm

A Rigorous Generic Branch and Bound Solver for Nonlinear Problems Andrew P. Smith C´esar A. Mu˜noz and Anthony J. Narkawicz Mantas Markevicius National Institute of Aerospace NASA Langley Research Center

Source URL: shemesh.larc.nasa.gov

• Mathematics
• Equations
• Polynomials
• Numerical analysis
• Algebra
• Operations research
• Global optimization
• System of polynomial equations
• Mathematical optimization
• Linear programming
• Constraint satisfaction
• Interval arithmetic