Marcel Steinmetz

Artificial Intelligence · 2016

A researcher in the Science corpus: 1 paper; trusts 4 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Marcel Steinmetz trusts overall

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

  1. Malte Helmert
  2. Jörg Hoffmann
  3. Bernhard Nebel
  4. Patrik Haslum
  5. Matthew W. Moskewicz
  6. Joao Marques-Silva
  7. Niklas Eén
  8. Christer Bäckström

Who trusts Marcel Steinmetz overall

  1. Maria Fox

Papers from Marcel Steinmetz's perspective

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

  1. The Fast Downward Planning System
  2. The FF Planning System: Fast Plan Generation Through Heuristic Search
  3. Admissible Heuristics for Optimal Planning (International Conference on Artificial Intelligence Planning Systems)
  4. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  5. Cha : Engineering an e cient SAT solver (Design Automation Conference)
  6. GRASP: A Search Algorithm for Propositional Satisfiability
  7. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
  8. Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners (Artificial Intelligence)
  9. Fast Detection of Unsolvable Planning Instances Using Local Consistency
  10. Planning as heuristic search (Artificial Intelligence)

Their papers