Liana Hadarean

2016

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 Liana Hadarean trusts

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

  1. Robert Nieuwenhuis (in Artificial Intelligence)
  2. Albert Oliveras (in Artificial Intelligence)
  3. Cesare Tinelli (in Artificial Intelligence)

Papers from Liana Hadarean's perspective

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

  1. Splitting on Demand in SAT Modulo Theories
  2. Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)
  3. GRASP: A Search Algorithm for Propositional Satisfiability
  4. CVC Lite: A New Implementation of the Cooperating Validity Checker Category B (International Conference on Computer Aided Verification)
  5. DPLL( T): Fast Decision Procedures (International Conference on Computer Aided Verification)
  6. A machine program for theorem-proving (CACM)
  7. Satisfiability Modulo Theories
  8. On the Complexity of Derivation in Propositional Calculus
  9. Yices 2.2 (International Conference on Computer Aided Verification)
  10. Human-level control through deep reinforcement learning

Their papers