Dejan Jovanovic

Computational Theory and Mathematics · 2012

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

Subfields

Whom Dejan Jovanovic trusts overall

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

  1. Christopher W. Brown
  2. Joao Marques-Silva
  3. Robert Nieuwenhuis
  4. Saugata Basu
  5. Albert Oliveras
  6. Inês Lynce
  7. R. Pollack
  8. Sharad Malik
  9. Cesare Tinelli
  10. Marie-Françoise Roy

Who trusts Dejan Jovanovic overall

  1. Tim King
  2. Sicun Gao
  3. Soonho Kong
  4. Edmund M. Clarke

Papers from Dejan Jovanovic's perspective

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

  1. A Decision Method for Elementary Algebra and Geometry
  2. QEPCAD B: a program for computing with semi-algebraic sets using CADs (SIGS)
  3. Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)
  4. Conflict-Driven Clause Learning SAT Solvers (Handbook of Satisfiability)
  5. Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving
  6. Algorithms in real algebraic geometry
  7. Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure (Journal on Satisfiability, Boolean Modeling and Computation)
  8. A machine program for theorem-proving (CACM)
  9. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
  10. Splitting on Demand in SAT Modulo Theories

Their papers