mplrs: A scalable parallel vertex/facet enumeration code

This publication has 41 references indexed in Scilit:

• Branch-and-Bound interval global optimization on shared memory multiprocessors
  Optimization Methods and Software, 2008
• The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems
  Science of Computer Programming, 2008
• Solving the fixed rank convex quadratic maximization in binary variables by a parallel zonotope construction algorithm
  European Journal of Operational Research, 2005
• Solving large quadratic assignment problems on computational grids
  Mathematical Programming, 2002
• Estimating the number of vertices of a polyhedron
  Information Processing Letters, 2000
• Scheduling multithreaded computations by work stealing
  Journal of the ACM, 1999
• State of the art in parallel search techniques for discrete optimization problems
  IEEE Transactions on Knowledge and Data Engineering, 1999
• Reverse search for enumeration
  Discrete Applied Mathematics, 1996
• Ground states of a ternary fcc lattice model with nearest- and next-nearest-neighbor interactions
  Physical Review B, 1994
• Parallel depth first search. Part II. Analysis
  International Journal of Parallel Programming, 1987