Skip to content
cs-conference-ranking.org

Vasco M. Manquinho

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

9

Venues

6

Active years

1997–2025

Best venue rank

A*

Where they publish

Papers

9 indexed papers, newest first.

YearVenueTitleAuthors
2025AAAICounterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization.Pedro Orvalho, Mikols Janota, Vasco M. Manquinho
2024FMcfaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases.Pedro Orvalho, Mikols Janota, Vasco M. Manquinho
2005DATEEffective Lower Bounding Techniques for Pseudo-Boolean Optimization.Vasco M. Manquinho, Joo Marques-Silva
2005ICTAISatisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts.Vasco M. Manquinho, Joo Marques-Silva
2004ICTAIIntegration of Lower Bound Estimates in Pseudo-Boolean Optimization.Vasco M. Manquinho, Joo Marques-Silva
2004SATUsing Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization.Vasco M. Manquinho, Joo Marques-Silva
2000DATEOn Using Satisfiability-Based Pruning Techniques in Covering Algorithms.Vasco M. Manquinho, Joo Marques-Silva
2000ECAISearch Pruning Conditions for Boolean Optimization.Vasco M. Manquinho, Joo Marques-Silva
1997ICTAIPrime Implicant Computation Using Satisfiability Algorithms.Vasco M. Manquinho, Paulo F. Flores, Joo P. Marques Silva, Arlindo L. Oliveira