%0 Journal Article %A Poljak, Svatopluk %A TurzĂ­k, Daniel %T A Polynomial Algorithm for Constructing a Large Bipartite Subgraph, with an Application to a Satisfiability Problem %J Canadian journal of mathematics %D 1982 %P 519-524 %V 34 %N 3 %U http://geodesic.mathdoc.fr/articles/10.4153/CJM-1982-036-8/ %R 10.4153/CJM-1982-036-8 %F 10_4153_CJM_1982_036_8