Mathematical Logic)

Identifiers

No identifiers captured yet.

Papers (1)

1. Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability cs.DS · 2018 · author #6

Mentions

No mention provenance yet.

Frequent Coauthors

• Department of Theoretical Computer Science 1 shared papers
• Faculty of Mathematics 1 shared papers
• Milo\v{s} Chrom\'y (1) 1 shared papers
• Petr Ku\v{c}era (1) ((1) Charles University 1 shared papers
• Physics 1 shared papers