Pages that link to "Item:Q2829260"
From MaRDI portal
The following pages link to Formalizing the Edmonds-Karp Algorithm (Q2829260):
Displaying 11 items.
- Edmonds-Karp (Q40262) (← links)
- Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms (Q832310) (← links)
- Formalizing network flow algorithms: a refinement approach in Isabelle/HOL (Q1722647) (← links)
- Refinement to imperative HOL (Q1739909) (← links)
- A mechanized proof of the max-flow min-cut theorem for countable networks with applications to probability theory (Q2102926) (← links)
- Graph theory in Coq: minors, treewidth, and isomorphisms (Q2209536) (← links)
- (Q5875428) (← links)
- (Q5875431) (← links)
- Efficient verified (UN)SAT certificate checking (Q5919480) (← links)
- A survivable variant of the ring star problem (Q6196876) (← links)
- Refinement of parallel algorithms down to LLVM: applied to practically efficient parallel sorting (Q6611962) (← links)