Aggregation Algebras

MaRDI QIDQ7361680FDO

Authors Walter Guttmann

Publication date 15 September 2018

Cites work

• An algebraic framework for minimum spanning tree problems
• Improved formulations and branch-and-cut algorithms for the angular constrained minimum spanning tree problem
• Relation-algebraic verification of Prim's minimum spanning tree algorithm
• Stone relation algebras
• Verifying minimum spanning tree algorithms with Stone relation algebras

Cited in

(1)

• Relational Disjoint-Set Forests

This page was built for software: Aggregation Algebras