Lakhdar Sais

Computational Theory and Mathematics · 2004–2018

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

Subfields

Whom Lakhdar Sais trusts overall

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

  1. Niklas Eén
  2. Carsten Sinz

Papers from Lakhdar Sais's perspective

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

  1. A machine program for theorem-proving (CACM)
  2. A Structure-Preserving Clause Form Translation
  3. Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
  4. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  5. Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)
  6. Backdoors to typical case complexity (International Joint Conference on Artificial Intelligence)
  7. Z3: An Efficient SMT Solver
  8. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
  9. Mining Minimal Non-redundant Association Rules Using Frequent Closed Itemsets (Computational Logic)
  10. Translating Pseudo-Boolean Constraints into SAT (Journal on Satisfiability, Boolean Modeling and Computation)

Their papers