Soonho Kong

Artificial Intelligence · 2013–2015

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

Subfields

Whom Soonho Kong trusts overall

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

  1. The Univalent Foundations Program
  2. Dejan Jovanovic
  3. Peter Dybjer

Who trusts Soonho Kong overall

  1. Yuhuai Wu
  2. Sean Welleck
  3. Ya-Chien Chang
  4. Albert Qiaochu Jiang
  5. Daniel Selsam
  6. Kshitij Bansal
  7. Markus Norman Rabe
  8. Liangming Pan

Papers from Soonho Kong's perspective

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

  1. Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure (Journal on Satisfiability, Boolean Modeling and Computation)
  2. Homotopy Type Theory: Univalent Foundations of Mathematics (arXiv.org)
  3. Intuitionistic Type Theory
  4. Solving non-linear arithmetic (ACCA)
  5. Splitting on Demand in SAT Modulo Theories
  6. Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)
  7. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
  8. A Decision Method for Elementary Algebra and Geometry
  9. On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming
  10. Interval arithmetic: From principles to implementation (JACM)

Their papers