Follow
Marco Correia
Marco Correia
CENTRIA
Verified email at fct.unl.pt - Homepage
Title
Cited by
Cited by
Year
On the Efficient Implementation of Social Abstract Argumentation.
M Correia, J Cruz, J Leite
ECAI, 225-230, 2014
212014
CaSPER: A programming environment for development and integration of constraint solvers
M Correia, P Barahona, F Azevedo
Proceedings of the First International Workshop on Constraint Programming …, 2005
162005
On the efficiency of impact based heuristics
M Correia, P Barahona
International Conference on Principles and Practice of Constraint …, 2008
142008
On the integration of singleton consistency and look-ahead heuristics
M Correia, P Barahona
Proceedings of the ERCIM workshop-CSCLP, 47-60, 2007
82007
A note on the uniqueness of models in social abstract argumentation
L Amgoud, E Bonzon, M Correia, J Cruz, J Delobelle, S Konieczny, J Leite, ...
arXiv preprint arXiv:1705.03381, 2017
72017
Modern techniques for constraint solving: The CaSPER experience
MV Correia
PQDT-Global, 2010
52010
A certified Branch & Bound approach for reliability-based optimization problems
B Martin, M Correia, J Cruz
Journal of Global Optimization 69, 461-484, 2017
42017
From phenotype to genotype in complex brain networks
M Zanin, M Correia, PAC Sousa, J Cruz
Scientific reports 6 (1), 19790, 2016
42016
On the integration of singleton consistencies and look-ahead heuristics
M Correia, P Barahona
International Workshop on Constraint Solving and Constraint Logic …, 2007
42007
Análise dos golos no Mundial de Futebol da Rússia 2018
FJL dos Santos, D Belchior, M Rodrigues, PM Sousa, V Pinheiro, ...
Cuadernos de Psicología del Deporte 22 (1), 256-278, 2022
32022
Machine learned heuristics to improve constraint satisfaction
M Correia, P Barahona
Brazilian Symposium on Artificial Intelligence, 103-113, 2004
32004
View-based propagation of decomposable constraints
M Correia, P Barahona
Constraints 18, 579-608, 2013
22013
Using Indexed Finite Set Variables for Set Bounds Propagation
RD Viegas, M Correia, P Barahona, F Azevedo
Advances in Artificial Intelligence–IBERAMIA 2008: 11th Ibero-American …, 2008
22008
Overview of the CaSPER* Constraint Solvers
M Correia, P Barahona
Third International CSP Solver Competition, 15, 2008
22008
Uncertainty propagation in biomedical models
A Franco, M Correia, J Cruz
Conference on Artificial Intelligence in Medicine in Europe, 166-171, 2015
12015
Probabilistic constraint programming for parameters optimisation of generative models
M Zanin, M Correia, PAC Sousa, J Cruz
Progress in Artificial Intelligence: 17th Portuguese Conference on …, 2015
12015
Type parametric compilation of algebraic constraints
M Correia, P Barahona
Portuguese Conference on Artificial Intelligence, 201-212, 2009
12009
Reasoning with Uncertainty in Biomedical Models
A Franco, M Correia, J Cruz
Progress in Artificial Intelligence: 17th Portuguese Conference on …, 2015
2015
Probabilistic Constraints for Robot Localization
M Correia, O Meshcheryakova, P Sousa, J Cruz
Progress in Artificial Intelligence: 17th Portuguese Conference on …, 2015
2015
Improving Multiple Sequence Alignments with Constraint Programming and Local Search
M Correia, F Madeira, P Barahona, L Krippahl
Alessandro Dal Palu, Agostino Dovier, Andrea Formisano, 37, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–20