Benjamin Kaufmann

Artificial Intelligence · 2007–2017

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

Subfields

Whom Benjamin Kaufmann trusts overall

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

  1. Niklas Eén
  2. Martin Gebser
  3. Chitta Baral
  4. Armin Biere
  5. Niklas Sörensson
  6. E. Goldberg
  7. Lintao Zhang
  8. Matthew W. Moskewicz
  9. Joao Marques-Silva
  10. Dov M. Gabbay

Who trusts Benjamin Kaufmann overall

  1. Martin Gebser
  2. Antti Hyttinen
  3. Torsten Schaub
  4. Roland Kaminski
  5. Wolfgang Faber
  6. Frederick Eberhardt
  7. Katharina Eggensperger
  8. Dominik Moritz
  9. Matti Järvisalo

Papers from Benjamin Kaufmann's perspective

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

  1. A machine program for theorem-proving (CACM)
  2. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  3. GRASP: A Search Algorithm for Propositional Satisfiability
  4. On the Complexity of Derivation in Propositional Calculus
  5. Temporal induction by incremental SAT solving (BMC@CAV)
  6. Cha : Engineering an e cient SAT solver (Design Automation Conference)
  7. Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)
  8. PicoSAT Essentials (Journal on Satisfiability, Boolean Modeling and Computation)
  9. Efficient conflict driven learning in a Boolean satisfiability solver (IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281))
  10. Applications of Circumscription to Formalizing Common Sense Knowledge

Their papers