Roland Kaminski

Artificial Intelligence · 2011–2019

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

Subfields

Whom Roland Kaminski trusts overall

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

  1. Martin Gebser
  2. Niklas Eén
  3. Robert Nieuwenhuis
  4. Benjamin Kaufmann
  5. Chitta Baral
  6. Lin Xu
  7. Leonardo de Moura
  8. Emina Torlak
  9. Niklas Sörensson
  10. Armin Biere

Who trusts Roland Kaminski overall

  1. Martin Gebser
  2. Antti Hyttinen
  3. Benjamin Kaufmann
  4. Gerson Zaverucha
  5. Torsten Schaub

Papers from Roland Kaminski's perspective

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

  1. Temporal induction by incremental SAT solving (BMC@CAV)
  2. Applications of Circumscription to Formalizing Common Sense Knowledge
  3. SATzilla: Portfolio-based Algorithm Selection for SAT
  4. PicoSAT Essentials (Journal on Satisfiability, Boolean Modeling and Computation)
  5. Foundations of Logic Programming
  6. ASP-Core-2 Input Language Format (Theory and Practice of Logic Programming)
  7. Answer Set Solving in Practice (Synthesis Lectures on Artificial Intelligence and Machine Learning)
  8. Kodkod: A Relational Model Finder (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  9. Clingo = ASP + Control: Preliminary Report
  10. Handbook of Constraint Programming

Their papers