A quick proof of Seymour's theorem on t-joins.

Published in: Discret. Math. (1987)

Keyphrases

interactive theorem proving
query optimization
join algorithms
theorem prover
theorem proving
query evaluation
social networks
map reduce
von neumann
linear logic
heavy traffic limit
similarity measure
data model
response time
proof theory
logical rules