Ruben Martins

Artificial Intelligence · 2014–2017

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

Subfields

Whom Ruben Martins trusts overall

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

  1. Gilles Audemard
  2. Sumit Gulwani
  3. Niklas Eén
  4. Zhaohui Fu
  5. Laurent Simon
  6. Niklas Sörensson
  7. Sharad Malik
  8. Susmit Jha
  9. Jean-Marie Lagniez
  10. Veselin Raychev

Who trusts Ruben Martins overall

  1. Bishwamittra Ghosh
  2. Blai Bonet
  3. Babak Salimi
  4. Kuldeep S. Meel
  5. Guillem Francès
  6. Li Dong
  7. Luke Rodriguez
  8. Tom Silver
  9. Kensen Shi
  10. Varot Premtoon

Papers from Ruben Martins's perspective

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

  1. Oracle-guided component-based program synthesis
  2. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
  3. On Solving the Partial MAX-SAT Problem (International Conference on Theory and Applications of Satisfiability Testing)
  4. Spreadsheet table transformations from examples
  5. Synthesis of loop-free programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Jungloid mining: helping to navigate the API jungle (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. Predicting Learnt Clauses Quality in Modern SAT Solvers
  8. Denali: a goal-directed superoptimizer
  9. Spreadsheet data manipulation using examples
  10. Automating string processing in spreadsheets using input-output examples

Their papers