Nathan Wetzler

International Conference on Theory and Applications of Satisfiability Testing · 2014

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

Whom Nathan Wetzler trusts overall

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

  1. Armin Biere

Papers from Nathan Wetzler's perspective

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

  1. PicoSAT Essentials (Journal on Satisfiability, Boolean Modeling and Computation)
  2. Conflict-Driven Clause Learning SAT Solvers (Handbook of Satisfiability)
  3. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  4. A Structure-Preserving Clause Form Translation
  5. BerkMin: A fast and robust SAT-solver (Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition)
  6. Reasoning about knowledge
  7. The Description Logic Handbook: Theory, Implementation, and Applications (Description Logic Handbook)
  8. Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)
  9. RACER System Description (International Joint Conference on Automated Reasoning)
  10. GRASP: A Search Algorithm for Propositional Satisfiability

Their papers