×

zbMATH — the first resource for mathematics

A polynomial algorithm for constructing a large bipartite subgraphs, with an application to a satisfiability problem. (English) Zbl 0471.68041

MSC:
68R10 Graph theory (including graph drawing) in computer science
68Q25 Analysis of algorithms and problem complexity
94C10 Switching theory, application of Boolean algebra; Boolean functions (MSC2010)
PDF BibTeX XML Cite
Full Text: DOI