Botond Moln\'ar
Identifiers
No identifiers captured yet.
Papers (1)
- A high-performance analog Max-SAT solver and its application to Ramsey numbers cs.CC · 2018 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- M\'aria Ercsey-Ravasz 1 shared papers
- Melinda Varga 1 shared papers
- Zoltan Toroczkai 1 shared papers