Martin Gebser

Artificial Intelligence · 2007–2019

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

Subfields

Whom Martin Gebser trusts overall

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

  1. Niklas Eén
  2. Chitta Baral
  3. Armin Biere
  4. Niklas Sörensson
  5. Lintao Zhang
  6. E. Goldberg
  7. Benjamin Kaufmann
  8. Matthew W. Moskewicz
  9. Joao Marques-Silva
  10. Robert Nieuwenhuis

Who trusts Martin Gebser overall

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

Papers from Martin Gebser's perspective

Ordered by how strongly the researchers Martin Gebser 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. ImageNet classification with deep convolutional neural networks
  6. Deep Residual Learning for Image Recognition (Computer Vision and Pattern Recognition)
  7. Temporal induction by incremental SAT solving (BMC@CAV)
  8. Cha : Engineering an e cient SAT solver (Design Automation Conference)
  9. Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)
  10. Long Short-Term Memory

Their papers