Encoding binary arithmetic operations in integer programming formulations

DOI10.1007/s10852-013-9225-9zbMath1292.65063OpenAlexW2000566292MaRDI QIDQ2016465

Raul Conejeros, Thomas A. Pogiatzis, Vassilios S. Vassiliadis

Publication date: 20 June 2014

Published in: Journal of Mathematical Modelling and Algorithms in Operations Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10852-013-9225-9

zbMATH Keywords

integer programmingnumerical examplesbranch and bound algorithmbinary stringsbinary arithmeticnumber factorization

Mathematics Subject Classification ID

Numerical mathematical programming methods (65K05) Mixed integer programming (90C11) Polyhedral combinatorics, branch-and-bound, branch-and-cut (90C57)

Uses Software

• CPLEX
• GAMS

Cites Work

• Unnamed Item
• A branch and bound algorithm for the capacitated vehicle routing problem
• Minimum cost capacity installation for multicommodity network flows
• On the capacitated vehicle routing problem
• PRIMES is in P
• Review of nonlinear mixed-integer and disjunctive programming techniques
• Fundamentals of computer organization and design
• Primality testing in polynomial time. From randomized algorithms to ``PRIMES is in P.
• Ideal representations of lexicographic orderings and base-2 expansions of integer variables
• Introduction to modern number theory. Fundamental problems, ideas and theories. Transl. from the Russian
• Base-2 Expansions for Linearizing Products of Functions of Discrete Variables
• Production Planning by Mixed Integer Programming

This page was built for publication: Encoding binary arithmetic operations in integer programming formulations