Hans van Maaren

Computational Theory and Mathematics · 2000–2009

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

Subfields

Whom Hans van Maaren trusts overall

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

  1. Robert Nieuwenhuis
  2. Volker Haarslev

Who trusts Hans van Maaren overall

  1. Antti Hyttinen
  2. Emir Demirovi'c
  3. Martin Gebser
  4. Frederick Eberhardt
  5. Nina Narodytska

Papers from Hans van Maaren's perspective

Ordered by how strongly the researchers Hans van Maaren trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  2. RACER System Description (International Joint Conference on Automated Reasoning)
  3. GRASP: A Search Algorithm for Propositional Satisfiability
  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. A machine program for theorem-proving (CACM)
  10. DPLL( T): Fast Decision Procedures (International Conference on Computer Aided Verification)

Their papers