Haniel Barbosa

Artificial Intelligence · 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 Haniel Barbosa trusts overall

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

  1. Leonardo de Moura
  2. Tim King
  3. Clark W. Barrett
  4. Bruno Dutertre
  5. Niklas Eén
  6. Nikolaj S. Bjørner
  7. Robert Nieuwenhuis
  8. Cesare Tinelli
  9. David Detlefs
  10. Tobias Nipkow

Papers from Haniel Barbosa's perspective

Ordered by how strongly the researchers Haniel Barbosa 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. CVC Lite: A New Implementation of the Cooperating Validity Checker Category B (International Conference on Computer Aided Verification)
  3. Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)
  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. The SMT-LIB Standard Version 2.0
  9. A Decision Procedure for Bit-Vectors and Arrays (International Conference on Computer Aided Verification)
  10. Lazy proofs for DPLL(T)-based SMT solvers

Their papers