Warren A. Hunt Jr.

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 Warren A. Hunt Jr. trusts overall

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

  1. Armin Biere

Papers from Warren A. Hunt Jr.'s perspective

Ordered by how strongly the researchers Warren A. Hunt Jr. 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