Vasco M. Manquinho

Computational Theory and Mathematics · 2014

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

Subfields

Whom Vasco M. Manquinho trusts overall

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

  1. Gilles Audemard
  2. Niklas Eén
  3. Zhaohui Fu
  4. Laurent Simon

Who trusts Vasco M. Manquinho overall

  1. Bishwamittra Ghosh
  2. Blai Bonet
  3. Babak Salimi

Papers from Vasco M. Manquinho's perspective

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

  1. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
  2. On Solving the Partial MAX-SAT Problem (International Conference on Theory and Applications of Satisfiability Testing)
  3. Predicting Learnt Clauses Quality in Modern SAT Solvers
  4. Iterative and core-guided MaxSAT solving: A survey and assessment
  5. Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction
  6. Temporal induction by incremental SAT solving (BMC@CAV)
  7. A machine program for theorem-proving (CACM)
  8. Cha : Engineering an e cient SAT solver (Design Automation Conference)
  9. BerkMin: A fast and robust SAT-solver (Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition)
  10. Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems (Journal of automated reasoning)

Their papers