Magnus Bordewich Martin E. Dyer Marek Karpinski Path Coupling Using Stopping Times and Counting Independent Sets and Colourings in Hypergraphs Electronic Colloquium on Computational Complexity (ECCC) 2005 002 db/journals/eccc/eccc12.html#TR05-002 http://eccc.hpi-web.de/eccc-reports/2005/TR05-002/index.html