Niklas Eén

Artificial Intelligence · 2003–2016

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

Subfields

Whom Niklas Eén trusts overall

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

  1. Carsten Sinz
  2. Kenneth L. McMillan
  3. Matthew W. Moskewicz
  4. Aaron R. Bradley
  5. Niklas Sörensson
  6. Donald Ervin Knuth
  7. Armin Biere
  8. Lintao Zhang
  9. Sharad Malik

Who trusts Niklas Eén overall

  1. Martin Gebser
  2. Frank Hutter
  3. Gilles Audemard
  4. Alexey Ignatiev
  5. J. Berg
  6. Armin Biere
  7. Benjamin Kaufmann
  8. Emina Torlak
  9. Jessica Davies
  10. António Morgado

Papers from Niklas Eén's perspective

Ordered by how strongly the researchers Niklas Eén trusts endorse each paper. Same corpus, a different order for every researcher.

  1. A Structure-Preserving Clause Form Translation
  2. Long Short-Term Memory
  3. Cha : Engineering an e cient SAT solver (Design Automation Conference)
  4. A machine program for theorem-proving (CACM)
  5. Neural Turing Machines
  6. Recurrent neural network based language model
  7. End-To-End Memory Networks
  8. Interpolation and SAT-Based Model Checking (International Conference on Computer Aided Verification)
  9. On the Complexity of Derivation in Propositional Calculus
  10. Efficient CNF Encoding of Boolean Cardinality Constraints

Their papers