Robert Nieuwenhuis

Computational Theory and Mathematics · 2001–2009

A researcher in the Science corpus: 5 papers; trusts 1 researcher and is trusted by 30 researchers here, as inferred from the citation graph.

Subfields

Whom Robert Nieuwenhuis trusts overall

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

  1. Clark W. Barrett
  2. Lintao Zhang

Who trusts Robert Nieuwenhuis overall

  1. Clark W. Barrett
  2. Tim King
  3. Martin Gebser
  4. Guy Katz
  5. Alexandre Riazanov
  6. Luca Pulina
  7. Dejan Jovanovic
  8. Leonardo de Moura
  9. Armin Biere
  10. Malik Ghallab

Papers from Robert Nieuwenhuis's perspective

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

  1. A machine program for theorem-proving (CACM)
  2. CVC Lite: A New Implementation of the Cooperating Validity Checker Category B (International Conference on Computer Aided Verification)
  3. DPLL( T): Fast Decision Procedures (International Conference on Computer Aided Verification)
  4. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  5. GRASP: A Search Algorithm for Propositional Satisfiability
  6. On the Complexity of Derivation in Propositional Calculus
  7. ImageNet classification with deep convolutional neural networks
  8. The complexity of theorem-proving procedures
  9. A Structure-Preserving Clause Form Translation
  10. BerkMin: A fast and robust SAT-solver (Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition)

Their papers