Sid Mijnders
Identifiers
- name variant Sid Mijnders 0.60 · backfill
Papers (1)
- Symbiosis of Search and Heuristics for Random 3-SAT cs.DS · 2014 · author #1
Mentions
- 1402.4455 #1 · backfill · confidence 0.70 Sid Mijnders
Frequent Coauthors
- Boris de Wilde 1 shared papers
- Marijn Heule 1 shared papers