TY  - RPRT
TI  - Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability
AU  - Miloš Chromý
AU  - Petr Kučera
PY  - 2018
UR  - https://arxiv.org/abs/1808.01774
ID  - 1808.01774
ER  -