João Cortes

According to our database, João Cortes authored at least 5 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Unsatisfiability-based Algorithms for Multi-Objective Combinatorial Optimization.

João Cortes, Inês Lynce, Vasco Manquinho

J. Autom. Reason., June, 2026

2024

Slide&Drill, a New Approach for Multi-Objective Combinatorial Optimization.

João Cortes, Inês Lynce, Vasco Manquinho

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

2023

Exact and approximate determination of the Pareto front using Minimal Correction Subsets.

Andreia P. Guerreiro, João Cortes, Daniel Vanderpooten, Cristina Bazgan, Inês Lynce, Vasco Manquinho, José Rui Figueira

Comput. Oper. Res., May, 2023

New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization.

João Cortes, Inês Lynce, Vasco Manquinho

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Exact and approximate determination of the Pareto set using minimal correction subsets.

Andreia P. Guerreiro, João Cortes, Daniel Vanderpooten, Cristina Bazgan, Inês Lynce, Vasco Manquinho, José Rui Figueira

CoRR, 2022