Torsten Schaub

Artificial Intelligence · 2007–2019

A researcher in the Science corpus: 8 papers; trusts 44 researchers and is trusted by 7 researchers here, as inferred from the citation graph.

Subfields

Whom Torsten Schaub trusts overall

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

  1. Niklas Eén
  2. Martin Gebser
  3. Armin Biere
  4. Chitta Baral
  5. Niklas Sörensson
  6. Lintao Zhang
  7. Joao Marques-Silva
  8. Benjamin Kaufmann
  9. Matthew W. Moskewicz
  10. E. Goldberg

Who trusts Torsten Schaub overall

  1. Martin Gebser
  2. Benjamin Kaufmann
  3. Roland Kaminski
  4. Antti Hyttinen

Papers from Torsten Schaub's perspective

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

  1. A machine program for theorem-proving (CACM)
  2. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  3. On the Complexity of Derivation in Propositional Calculus
  4. GRASP: A Search Algorithm for Propositional Satisfiability
  5. Temporal induction by incremental SAT solving (BMC@CAV)
  6. Cha : Engineering an e cient SAT solver (Design Automation Conference)
  7. Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)
  8. PicoSAT Essentials (Journal on Satisfiability, Boolean Modeling and Computation)
  9. Efficient conflict driven learning in a Boolean satisfiability solver (IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281))
  10. Applications of Circumscription to Formalizing Common Sense Knowledge

Their papers