Marijn Heule
Identifiers
- name variant Marijn Heule 0.60 · backfill
Papers (6)
- Computing properties of stable configurations of thermodynamic binding networks cs.ET · 2017 · author #3
- Efficient Certified RAT Verification cs.LO · 2016 · author #2
- Symbiosis of Search and Heuristics for Random 3-SAT cs.DS · 2014 · author #3
- Towards Ultra Rapid Restarts cs.AI · 2014 · author #2
- Covered Clause Elimination cs.LO · 2010 · author #1
- Symmetry within Solutions cs.AI · 2010 · author #1
Mentions
Frequent Coauthors
- Armin Biere 1 shared papers
- Boris de Wilde 1 shared papers
- Chris Thachuk 1 shared papers
- David Soloveichik 1 shared papers
- Keenan Breik 1 shared papers
- Lu\'is Cruz-Filipe 1 shared papers
- Matti J\"arvisalo 1 shared papers
- Matt Kaufmann 1 shared papers
- Peter Schneider-Kamp 1 shared papers
- Shai Haim 1 shared papers
- Sid Mijnders 1 shared papers
- Toby Walsh 1 shared papers
- Warren Hunt 1 shared papers