"How many matchings?"
Jim Propp
MIT
The last ten years have seen the discovery of many exact
formulas for the number of perfect matchings of finite planar graphs.
The collection of known tricks for proving such results is now fairly
large, but many open questions remain, and we still lack a general
framework that would explain why there are so many exact formulas.