Sven Schewe

International Journal on Software Tools for Technology Transfer (STTT) · 2007

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

Whom Sven Schewe trusts overall

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

  1. Armin Biere
  2. Matthew W. Moskewicz
  3. Bruno Dutertre
  4. Leonardo de Moura

Papers from Sven Schewe's perspective

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

  1. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  2. A Fast Linear-Arithmetic Solver for DPLL(T) (International Conference on Computer Aided Verification)
  3. Cha : Engineering an e cient SAT solver (Design Automation Conference)
  4. Bounded model checking (Advances in Computing)
  5. GRASP: A Search Algorithm for Propositional Satisfiability
  6. A Structure-Preserving Clause Form Translation
  7. Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)
  8. Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift (International Conference on Machine Learning)
  9. ImageNet classification with deep convolutional neural networks
  10. Speeding up Convolutional Neural Networks with Low Rank Expansions

Their papers