Counting Solutions of Integer Programs Using Unrestricted Subtree Detection

DOI10.1007/978-3-540-68155-7_22MaRDI QIDQ5387636zbMATH OpenOpenAlexFDO

Authors Tobias Achterberg, Stefan Heinz, Thorsten Koch

Publication date 27 May 2008

Published in Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-68155-7_22

Mathematics Subject Classification ID

Integer programming (90C10) Polyhedral combinatorics, branch-and-bound, branch-and-cut (90C57)

Recommendations

• Upper bounds on the number of solutions of binary integer programs
• Finding multiple solutions to general integer linear programs
• scientific article; zbMATH DE number 3900500
• scientific article; zbMATH DE number 1312984
• Fast Unimodular Counting

Cites work

• 0/1 vertex and facet enumeration with BDDs
• A Polynomial Time Algorithm for Counting Integral Points in Polyhedra When the Dimension is Fixed
• Conflict analysis in mixed integer programming
• Counting Models in Integer Domains
• Effective lattice point counting in rational convex polytopes
• Generating Multiple Solutions for Mixed Integer Programming Problems
• scientific article; zbMATH DE number 193411 (Why is no real title available?)
• scientific article; zbMATH DE number 1041084 (Why is no real title available?)
• scientific article; zbMATH DE number 7124428 (Why is no real title available?)
• MIP: Theory and practice -- closing the gap
• The vertex set of a \(0/1\)-polytope is strongly \(\mathcal P\)-enumerable

Cited in

(3)

• Compact representation of near-optimal integer programming solutions
• The minimum sum representation as an index of voting power
• Upper bounds on the number of solutions of binary integer programs

Describes a project that uses

Uses Software

• SCIP
• LattE
• MIPLIB

This page was built for publication: Counting Solutions of Integer Programs Using Unrestricted Subtree Detection

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