Mark H. Liffiton

Computational Theory and Mathematics · 2007–2013

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

Subfields

Whom Mark H. Liffiton 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
  7. Richard M. Karp
  8. Armin Biere

Who trusts Mark H. Liffiton overall

  1. Caelan Reed Garrett
  2. Rohan Chitnis

Papers from Mark H. Liffiton's perspective

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

  1. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  2. Efficient CNF Encoding of Boolean Cardinality Constraints
  3. A machine program for theorem-proving (CACM)
  4. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
  5. Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
  6. Alloy: a lightweight object modelling notation (TSEM)
  7. Translating Pseudo-Boolean Constraints into SAT (Journal on Satisfiability, Boolean Modeling and Computation)
  8. A Fast Linear-Arithmetic Solver for DPLL(T) (International Conference on Computer Aided Verification)
  9. Validating SAT solvers using an independent resolution-based checker: practical implementations and other applications (2003 Design, Automation and Test in Europe Conference and Exhibition)
  10. PicoSAT Essentials (Journal on Satisfiability, Boolean Modeling and Computation)

Their papers