Robert Brummayer

International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2009

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 Robert Brummayer trusts overall

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

  1. Armin Biere

Who trusts Robert Brummayer overall

  1. Haohui Mai

Papers from Robert Brummayer's perspective

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

  1. PicoSAT Essentials (Journal on Satisfiability, Boolean Modeling and Computation)
  2. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  3. Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)
  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. Validating SAT solvers using an independent resolution-based checker: practical implementations and other applications (2003 Design, Automation and Test in Europe Conference and Exhibition)
  7. Checking Safety Properties Using Induction and a SAT-Solver (Formal Methods in Computer-Aided Design)
  8. A machine program for theorem-proving (CACM)
  9. GRASP: A Search Algorithm for Propositional Satisfiability
  10. Reasoning about knowledge

Their papers