Terra-Neves, Miguel

6 publications

AAAI 2024 SAT-Based Algorithms for Regular Graph Pattern Matching Miguel Terra-Neves, José Amaral, Alexandre Lemos, Rui Quintino, Pedro Resende, António Alegria

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