Mate Soos

Artificial Intelligence · 2009

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

Subfields

Whom Mate Soos trusts overall

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

  1. Jean-Charles Faugère
  2. Niklas Eén
  3. Nicolas T. Courtois
  4. Matthew W. Moskewicz
  5. Niklas Sörensson
  6. Willi Meier
  7. Christophe De Cannière

Who trusts Mate Soos overall

  1. Alexey Ignatiev
  2. Pramod Subramanyan
  3. Stefano Ermon
  4. António Morgado
  5. Carla P. Gomes
  6. Sayak Ray

Papers from Mate Soos's perspective

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

  1. Temporal induction by incremental SAT solving (BMC@CAV)
  2. A new efficient algorithm for computing Gröbner bases without reduction to zero (F5) (International Symposium on Symbolic and Algebraic Computation)
  3. Algebraic Attacks on Stream Ciphers with Linear Feedback (International Conference on the Theory and Application of Cryptographic Techniques)
  4. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  5. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
  6. Trivium: A Stream Cipher Construction Inspired by Block Cipher Design Principles (Information Security Conference)
  7. Efficient Algorithms for Solving Overdefined Systems of Multivariate Polynomial Equations (International Conference on the Theory and Application of Cryptographic Techniques)
  8. The Art of Computer Programming: Volume 3: Sorting and Searching
  9. On the Complexity of Derivation in Propositional Calculus
  10. Cha : Engineering an e cient SAT solver (Design Automation Conference)

Their papers