Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability.

Milos Chrom, Petr Kucera

Browse the full SOFSEM paper archive.