Marijn J. H. Heule

Computational Theory and Mathematics · 2009–2014

A researcher in the Science corpus: 3 papers; trusts 6 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Marijn J. H. Heule trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Armin Biere
  2. Robert Nieuwenhuis
  3. Volker Haarslev
  4. Kenneth L. McMillan

Who trusts Marijn J. H. Heule overall

  1. Antti Hyttinen
  2. Emir Demirovi'c
  3. Martin Gebser
  4. Frederick Eberhardt
  5. Nina Narodytska
  6. Alexey Ignatiev
  7. Matti Järvisalo
  8. Hao Hu
  9. Andreas Holzer

Papers from Marijn J. H. Heule's perspective

Ordered by how strongly the researchers Marijn J. H. Heule trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  2. A machine program for theorem-proving (CACM)
  3. RACER System Description (International Joint Conference on Automated Reasoning)
  4. BerkMin: A fast and robust SAT-solver (Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition)
  5. Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)
  6. The Description Logic Handbook: Theory, Implementation, and Applications (Description Logic Handbook)
  7. Reasoning about knowledge
  8. Effective Preprocessing in SAT Through Variable and Clause Elimination (International Conference on Theory and Applications of Satisfiability Testing)
  9. PicoSAT Essentials (Journal on Satisfiability, Boolean Modeling and Computation)
  10. Conflict-Driven Clause Learning SAT Solvers (Handbook of Satisfiability)

Their papers