Marijn Heule

Identifiers

• name variant Marijn Heule 0.60 · backfill

Papers (6)

1. Computing properties of stable configurations of thermodynamic binding networks cs.ET · 2017 · author #3
2. Efficient Certified RAT Verification cs.LO · 2016 · author #2
3. Symbiosis of Search and Heuristics for Random 3-SAT cs.DS · 2014 · author #3
4. Towards Ultra Rapid Restarts cs.AI · 2014 · author #2
5. Covered Clause Elimination cs.LO · 2010 · author #1
6. Symmetry within Solutions cs.AI · 2010 · author #1

Mentions

• 1402.4455 #3 · backfill · confidence 0.70 Marijn Heule
• 1402.4413 #2 · backfill · confidence 0.70 Marijn Heule
• 1011.5202 #1 · backfill · confidence 0.70 Marijn Heule
• 1004.2624 #1 · backfill · confidence 0.70 Marijn Heule

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