Martin M\"uller

Identifiers

No identifiers captured yet.

Papers (2)

1. Characterization of Glue Variables in CDCL SAT Solving cs.AI · 2019 · author #2
2. Structured Best Arm Identification with Fixed Confidence cs.LG · 2017 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Csaba Szepesv\'ari 1 shared papers
• Jia-Huai You 1 shared papers
• Md Solimul Chowdhury 1 shared papers
• Mohammad M. Ajallooeian 1 shared papers
• Ruitong Huang 1 shared papers