A new proof of the weak pigeonhole principle.

Alexis Maciel Toniann Pitassi Alan R. Woods

Published in: STOC (2000)

Keyphrases

theorem proving
artificial intelligence
databases
real world
image segmentation
proof planning
social networks
image processing
decision trees
similarity measure
information technology
probability distribution