André Neumann

Computational Theory and Mathematics · 2007

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

Subfields

Whom André Neumann trusts overall

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

  1. Chitta Baral
  2. E. Goldberg
  3. Niklas Eén
  4. Matthew W. Moskewicz
  5. Yakov Novikov

Who trusts André Neumann overall

  1. Martin Gebser
  2. Benjamin Kaufmann

Papers from André Neumann's perspective

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

  1. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  2. Cha : Engineering an e cient SAT solver (Design Automation Conference)
  3. Towards a Theory of Declarative Knowledge
  4. The well-founded semantics for general logic programs
  5. ASSAT: computing answer sets of a logic program by SAT solvers (Artificial Intelligence)
  6. Extending and implementing the stable model semantics (Artificial Intelligence)
  7. The DLV system for knowledge representation and reasoning (TOCL)
  8. Constraint Processing (Encyclopedia of Artificial Intelligence)
  9. BerkMin: A fast and robust SAT-solver (Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition)
  10. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)

Their papers