Anne Parrain

Journal on Satisfiability, Boolean Modeling and Computation · 2010

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

Whom Anne Parrain trusts overall

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

  1. Armin Biere
  2. Niklas Eén
  3. Niklas Sörensson

Who trusts Anne Parrain overall

  1. Emir Demirovi'c
  2. Peter James Stuckey

Papers from Anne Parrain's perspective

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

  1. PicoSAT Essentials (Journal on Satisfiability, Boolean Modeling and Computation)
  2. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
  3. QUICKXPLAIN: Preferred Explanations and Relaxations for Over-Constrained Problems (AAAI Conference on Artificial Intelligence)
  4. A machine program for theorem-proving (CACM)
  5. A Structure-Preserving Clause Form Translation
  6. Cha : Engineering an e cient SAT solver (Design Automation Conference)
  7. Temporal induction by incremental SAT solving (BMC@CAV)
  8. BerkMin: A fast and robust SAT-solver (Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition)
  9. Effective Preprocessing in SAT Through Variable and Clause Elimination (International Conference on Theory and Applications of Satisfiability Testing)
  10. On the Complexity of Derivation in Propositional Calculus

Their papers