C. Guillen, A. Lopez Lopez, G. De Ita. Computing #2-SAT of Grids, Grid-Cylinders and Grid-Tori Boolean Formulas. In Marco Gavanelli, Toni Mancini, editors, Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Udine, Italy, December 12-13, 2008. Volume 451 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
Abstract is missing.