scientific article; zbMATH DE number 487935

From MaRDI portal
Revision as of 17:57, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4276004

zbMath0781.00013MaRDI QIDQ4276004

No author found.

Publication date: 9 January 1994


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items (20)

Efficient transitive closure of sparse matrices over closed semiringsEfficient Implementation of a Synchronous Parallel Push-Relabel AlgorithmGraphBLAST: A High-Performance Linear Algebra-based Graph Framework on the GPUAn efficient cost scaling algorithm for the assignment problemShortest paths algorithms: Theory and experimental evaluationTBGMax: leveraging two-boundary graph pattern for lossless maximum-flow accelerationOn implementing push-relabel method for the maximum flow problemReconstructing \((h,v)\)-convex \(2\)-dimensional patterns of objects from approximate horizontal and vertical projections.Algorithms and codes for dense assignment problems: The state of the artEffective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.Formalizing network flow algorithms: a refinement approach in Isabelle/HOLEfficient preflow push algorithmsA computational study of the capacity scaling algorithm for the maximum flow problemA new \textsf{DSATUR}-based algorithm for exact vertex coloringA specialized interior-point algorithm for huge minimum convex cost flows in bipartite networksBlossom V: A new implementation of a minimum cost perfect matching algorithmA genetic-based framework for solving (multi-criteria) weighted matching problems.Algorithms for network piecewise-linear programs: A comparative studyComputational investigations of maximum flow algorithmsAn information-based neural approach to generic constraint satisfaction.


Uses Software



This page was built for publication: