On the construction of graphs with a planar bipartite double cover from Boolean formulas and its application to counting satisfying solutions

From MaRDI portal
(Redirected from Publication:1704571)