Manquinho, Vasco

5 publications

AAAI 2019 Concurrency Debugging with MaxSMT Miguel Terra-Neves, Nuno Machado, Inês Lynce, Vasco Manquinho
IJCAI 2019 Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
AAAI 2018 Enhancing Constraint-Based Multi-Objective Combinatorial Optimization Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
IJCAI 2018 Multi-Objective Optimization Through Pareto Minimal Correction Subsets Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
IJCAI 2018 Stratification for Constraint-Based Multi-Objective Combinatorial Optimization Miguel Terra-Neves, Inês Lynce, Vasco Manquinho