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)
WRNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.