Encoding binary arithmetic operations in integer programming formulations

DOI10.1007/S10852-013-9225-9MaRDI QIDQ2016465zbMATH OpenOpenAlexFDO

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

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

numerical examplesinteger programmingbranch and bound algorithmbinary stringsbinary arithmeticnumber factorization

Mathematics Subject Classification ID

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

Recommendations

• Parsimonious binary-encoding in integer programming
• Improvement of binary integer programming through employment of the Boolean algebra logic
• Incremental and encoding formulations for mixed integer programming
• On the Value of Binary Expansions for General Mixed-Integer Linear Programs
• Some integer formula encodings and related algorithms

Cites work

• scientific article; zbMATH DE number 976325 (Why is no real title available?)
• A branch and bound algorithm for the capacitated vehicle routing problem
• Base-2 expansions for linearizing products of functions of discrete variables
• Fundamentals of computer organization and design
• 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
• Minimum cost capacity installation for multicommodity network flows
• On the capacitated vehicle routing problem
• PRIMES is in P
• Primality testing in polynomial time. From randomized algorithms to ``PRIMES is in P.
• Production Planning by Mixed Integer Programming
• Review of nonlinear mixed-integer and disjunctive programming techniques

Cited in

(2)

• scientific article; zbMATH DE number 3745093 (Why is no real title available?)
• Vertical processing of integer group-data streams. II: Application to binary arithmetic operations

Describes a project that uses

Uses Software

• GAMS
• CPLEX

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2016465)