Guarded Second-Order Logic, Spanning Trees, and Network Flows
Achim BlumensathPublished in: Log. Methods Comput. Sci. (2010)
Keyphrases
- spanning tree
- network flow
- minimum cost
- np hard
- minimum spanning tree
- approximation algorithms
- edge disjoint
- minimum spanning trees
- min cost
- undirected graph
- higher order
- linear programming
- horn clauses
- logic programming
- integer programming
- special case
- fixed point
- optimization model
- modal logic
- query answering
- minimum total cost
- computational complexity
- network flow formulation