Ying Sheng

Artificial Intelligence · with Mohamed · 2022

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

Subfields

Whom Ying Sheng trusts

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

  1. Leonardo de Moura (in Artificial Intelligence)

Papers from Ying Sheng's perspective

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

  1. A Fast Linear-Arithmetic Solver for DPLL(T) (International Conference on Computer Aided Verification)
  2. Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)
  3. CVC Lite: A New Implementation of the Cooperating Validity Checker Category B (International Conference on Computer Aided Verification)
  4. Efficient E-Matching for SMT Solvers (CADE)
  5. Splitting on Demand in SAT Modulo Theories
  6. Leveraging linear and mixed integer programming for SMT
  7. Simplify: a theorem prover for program checking (JACM)
  8. Lazy proofs for DPLL(T)-based SMT solvers
  9. Effective Algorithms for the Satisfiability of Quantifier-Free Formulas Over Linear Real and Integer Arithmetic
  10. The TPTP Problem Library and Associated Infrastructure (Journal of automated reasoning)

Their papers