TY - RPRT TI - The permanent, graph gadgets and counting solutions for certain types of planar formulas AU - Christian Schridde PY - 2012 UR - https://arxiv.org/abs/1205.4124 ID - 1205.4124 ER -