\texttt{mplrs}: a scalable parallel vertex/facet enumeration code (Q1621690): Difference between revisions

@@ Property / DOI @@
-.1007/s12532-017-0129-y
@@ Property / DOI: 10.1007/s12532-017-0129-y / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Intel TBB
@@ Property / describes a project that uses: Intel TBB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HordeSat
@@ Property / describes a project that uses: HordeSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ParaSCIP
@@ Property / describes a project that uses: ParaSCIP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Minksum
@@ Property / describes a project that uses: Minksum / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bob++
@@ Property / describes a project that uses: Bob++ / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963481904
@@ Property / OpenAlex ID: W2963481904 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06487
@@ Property / arXiv ID: 1511.06487 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving large quadratic assignment problems on computational grids
+Normal rank
@@ Property / cites work @@
+Computing convex hulls and counting integer points with \texttt{polymake}
+Normal rank
@@ Property / cites work @@
+Q4518988
@@ Property / cites work: Q4518988 / rank @@
+Normal rank
@@ Property / cites work @@
+Estimating the number of vertices of a polyhedron
@@ Property / cites work: Estimating the number of vertices of a polyhedron / rank @@
+Normal rank
@@ Property / cites work @@
+A pivoting algorithm for convex hulls and vertex enumeration of arrangements and polyhedra
+Normal rank
@@ Property / cites work @@
+Reverse search for enumeration
@@ Property / cites work: Reverse search for enumeration / rank @@
+Normal rank
@@ Property / cites work @@
+A Portable Parallel Implementation of the lrs Vertex Enumeration Code
+Normal rank
@@ Property / cites work @@
+HordeSat: A Massively Parallel Portfolio SAT Solver
+Normal rank
@@ Property / cites work @@
+Scheduling multithreaded computations by work stealing
+Normal rank
@@ Property / cites work @@
+The parallel search bench ZRAM and its applications
+Normal rank
@@ Property / cites work @@
+The power of pyramid decomposition in Normaliz
@@ Property / cites work: The power of pyramid decomposition in Normaliz / rank @@
+Normal rank
@@ Property / cites work @@
+Branch-and-Bound interval global optimization on shared memory multiprocessors
+Normal rank
@@ Property / cites work @@
+Q3323698
@@ Property / cites work: Q3323698 / rank @@
+Normal rank
@@ Property / cites work @@
+Early Estimates of the Size of Branch-and-Bound Trees
+Normal rank
@@ Property / cites work @@
+Geometry of cuts and metrics
@@ Property / cites work: Geometry of cuts and metrics / rank @@
+Normal rank
@@ Property / cites work @@
+Solving the fixed rank convex quadratic maximization in binary variables by a parallel zonotope construction algorithm
+Normal rank
@@ Property / cites work @@
+Faster geometric algorithms via dynamic determinant computation
+Normal rank
@@ Property / cites work @@
+Bounds on Multiprocessing Timing Anomalies
@@ Property / cites work: Bounds on Multiprocessing Timing Anomalies / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial Analysis and Computers
@@ Property / cites work: Combinatorial Analysis and Computers / rank @@
+Normal rank
@@ Property / cites work @@
+On parallel branch and bound frameworks for global optimization
+Normal rank
@@ Property / cites work @@
+Introduction to global optimization.
@@ Property / cites work: Introduction to global optimization. / rank @@
+Normal rank
@@ Property / cites work @@
+A parallel alpha/beta tree searching algorithm
@@ Property / cites work: A parallel alpha/beta tree searching algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Could we use a million cores to solve an integer program?
+Normal rank
@@ Property / cites work @@
+Parallel depth first search. II: Analysis
@@ Property / cites work: Parallel depth first search. II: Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Embarrassingly Parallel Search in Constraint Programming
+Normal rank
@@ Property / cites work @@
+A parallel branch and bound algorithm for the maximum labelled clique problem
+Normal rank
@@ Property / cites work @@
+AND/OR Branch-and-Bound on a Computational Grid
@@ Property / cites work: AND/OR Branch-and-Bound on a Computational Grid / rank @@
+Normal rank
@@ Property / cites work @@
+Q4667108
@@ Property / cites work: Q4667108 / rank @@
+Normal rank
@@ Property / cites work @@
+Implementation and Parallelization of a Reverse-Search Algorithm for Minkowski Sums
+Normal rank
@@ Property / cites work @@
+Lectures on Polytopes
@@ Property / cites work: Lectures on Polytopes / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S12532-017-0129-Y
@@ Property / DOI: 10.1007/S12532-017-0129-Y / rank @@
+Normal rank