Vasco Manquinho

Identifiers

• name variant Vasco Manquinho 0.60 · backfill

Papers (9)

1. ProDebug: An Automated Debugging System for Prolog cs.PL · 2026 · author #2
2. On the Quest for an Acyclic Graph cs.LO · 2017 · author #3
3. DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability cs.LO · 2015 · author #3
4. Exploiting Resolution-based Representations for MaxSAT Solving cs.AI · 2015 · author #5
5. Incremental Cardinality Constraints for MaxSAT cs.LO · 2014 · author #3
6. On When and How to use SAT to Mine Frequent Itemsets cs.AI · 2012 · author #3
7. Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability cs.LO · 2010 · author #3
8. Algorithms for Weighted Boolean Optimization cs.AI · 2009 · author #1
9. Symmetry Breaking for Maximum Satisfiability cs.AI · 2008 · author #3

Mentions

• 1408.4628 #3 · backfill · confidence 0.70 Vasco Manquinho
• 2605.27124 #2 · arxiv_oai · confidence 0.70 Vasco Manquinho
• 1207.6253 #3 · backfill · confidence 0.70 Vasco Manquinho
• 1011.2685 #3 · backfill · confidence 0.70 Vasco Manquinho
• 0903.0843 #1 · backfill · confidence 0.70 Vasco Manquinho
• 0804.0599 #3 · backfill · confidence 0.70 Vasco Manquinho

Frequent Coauthors

• In\^es Lynce 3 shared papers
• Ruben Martins 3 shared papers
• Ines Lynce 2 shared papers
• Joao Marques-Silva 2 shared papers
• Miguel Neves 2 shared papers
• Jordi Planes 1 shared papers
• Jos\'e Monteiro 1 shared papers
• Levent Aksoy 1 shared papers
• Mikolas Janota 1 shared papers
• Mikol\'a\v{s} Janota 1 shared papers
• Nuno P. Lopes 1 shared papers
• Radu Grigore 1 shared papers
• Ricardo Brancas 1 shared papers
• Rui Henriques 1 shared papers
• Saurabh Joshi 1 shared papers