Karem A. Sakallah

Artificial Intelligence · 1999–2007

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

Subfields

Whom Karem A. Sakallah trusts overall

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

  1. Carsten Sinz
  2. Daniel Jackson
  3. Niklas Eén
  4. Bruno Dutertre
  5. Niklas Sörensson
  6. Leonardo de Moura

Who trusts Karem A. Sakallah overall

  1. Tobias Achterberg
  2. Lintao Zhang
  3. Guy Katz
  4. Sharad Malik
  5. Zhaohui Fu
  6. E. Goldberg
  7. Martin Gebser
  8. David Detlefs
  9. Myra B. Cohen
  10. Armin Biere

Papers from Karem A. Sakallah's perspective

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

  1. Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
  2. A machine program for theorem-proving (CACM)
  3. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
  4. Alloy: a lightweight object modelling notation (TSEM)
  5. A Fast Linear-Arithmetic Solver for DPLL(T) (International Conference on Computer Aided Verification)
  6. Reducibility Among Combinatorial Problems
  7. On the Complexity of Derivation in Propositional Calculus
  8. Efficient CNF Encoding of Boolean Cardinality Constraints
  9. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  10. A Structure-Preserving Clause Form Translation

Their papers