Albert Oliveras

Computational Theory and Mathematics · 2004–2009

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

Subfields

Whom Albert Oliveras trusts overall

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

  1. Clark W. Barrett

Who trusts Albert Oliveras overall

  1. Clark W. Barrett
  2. Tim King
  3. Guy Katz
  4. Martin Gebser
  5. Leonardo de Moura
  6. Luca Pulina
  7. Dejan Jovanovic
  8. Malik Ghallab
  9. Armin Biere
  10. Youssef Hamadi

Papers from Albert Oliveras's perspective

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

  1. A machine program for theorem-proving (CACM)
  2. CVC Lite: A New Implementation of the Cooperating Validity Checker Category B (International Conference on Computer Aided Verification)
  3. DPLL( T): Fast Decision Procedures (International Conference on Computer Aided Verification)
  4. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  5. GRASP: A Search Algorithm for Propositional Satisfiability
  6. On the Complexity of Derivation in Propositional Calculus
  7. ImageNet classification with deep convolutional neural networks
  8. The complexity of theorem-proving procedures
  9. BerkMin: A fast and robust SAT-solver (Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition)
  10. Deep Compression: Compressing Deep Neural Network with Pruning, Trained Quantization and Huffman Coding

Their papers