Encoding binary arithmetic operations in integer programming formulations
DOI10.1007/S10852-013-9225-9zbMATH Open1292.65063OpenAlexW2000566292MaRDI QIDQ2016465FDOQ2016465
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
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
numerical examplesinteger programmingbranch and bound algorithmbinary stringsbinary arithmeticnumber factorization
Numerical mathematical programming methods (65K05) Polyhedral combinatorics, branch-and-bound, branch-and-cut (90C57) Mixed integer programming (90C11)
Cites Work
- Title not available (Why is that?)
- Production Planning by Mixed Integer Programming
- PRIMES is in P
- Minimum cost capacity installation for multicommodity network flows
- On the capacitated vehicle routing problem
- Review of nonlinear mixed-integer and disjunctive programming techniques
- A branch and bound algorithm for the capacitated vehicle routing problem
- 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
- Primality testing in polynomial time. From randomized algorithms to ``PRIMES is in P.
- Fundamentals of computer organization and design
Cited In (2)
Uses Software
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)