"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.