Vasco M. Manquinho

14 papers A* 1A 4B 3Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A* conf
Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization.
AAAI
Pedro Orvalho, Mikolás Janota, Vasco M. Manquinho
2024 — conf
cfaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases.
FM (1)
Pedro Orvalho, Mikolás Janota, Vasco M. Manquinho
2006 J jnl
On Using Cutting Planes in Pseudo-Boolean Optimization.
J. Satisf. Boolean Model. Comput.
Vasco M. Manquinho, João Marques-Silva
2006 J jnl
The First Evaluation of Pseudo-Boolean Solvers (PB'05).
J. Satisf. Boolean Model. Comput.
Vasco M. Manquinho, Olivier Roussel
2005 A conf
Effective Lower Bounding Techniques for Pseudo-Boolean Optimization.
DATE
Vasco M. Manquinho, João Marques-Silva
2005 B conf
Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts.
ICTAI
Vasco M. Manquinho, João Marques-Silva
2004 B conf
Integration of Lower Bound Estimates in Pseudo-Boolean Optimization.
ICTAI
Vasco M. Manquinho, João Marques-Silva
2004 J jnl
Satisfiability-Based Algorithms for Boolean Optimization.
Ann. Math. Artif. Intell.
Vasco M. Manquinho, João P. Marques Silva
2004 A conf
Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization.
SAT
Vasco M. Manquinho, João Marques-Silva
2002 J jnl
Search pruning techniques in SAT-based branch-and-bound algorithmsfor the binate covering problem.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Vasco M. Manquinho, João P. Marques Silva
2000 — conf
On Solving Boolean Optimization with Satisfiability-Based Algorithms.
AI&M
Vasco M. Manquinho, João Marques-Silva
2000 A conf
On Using Satisfiability-Based Pruning Techniques in Covering Algorithms.
DATE
Vasco M. Manquinho, João Marques-Silva
2000 A conf
Search Pruning Conditions for Boolean Optimization.
ECAI
Vasco M. Manquinho, João Marques-Silva
1997 B conf
Prime Implicant Computation Using Satisfiability Algorithms.
ICTAI
Vasco M. Manquinho, Paulo F. Flores, João P. Marques Silva, Arlindo L. Oliveira