On the construction of graphs with a planar bipartite double cover from Boolean formulas and its application to counting satisfying solutions
scientific article; zbMATH DE number 6848998
scientific article