On the Efficient Implementation of Social Abstract Argumentation. M Correia, J Cruz, J Leite ECAI, 225-230, 2014 | 21 | 2014 |
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 | 16 | 2005 |
On the efficiency of impact based heuristics M Correia, P Barahona International Conference on Principles and Practice of Constraint …, 2008 | 14 | 2008 |
On the integration of singleton consistency and look-ahead heuristics M Correia, P Barahona Proceedings of the ERCIM workshop-CSCLP, 47-60, 2007 | 8 | 2007 |
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 | 7 | 2017 |
Modern techniques for constraint solving: The CaSPER experience MV Correia PQDT-Global, 2010 | 5 | 2010 |
On the integration of singleton consistencies and look-ahead heuristics M Correia, P Barahona International Workshop on Constraint Solving and Constraint Logic …, 2007 | 5 | 2007 |
A certified Branch & Bound approach for reliability-based optimization problems B Martin, M Correia, J Cruz Journal of Global Optimization 69, 461-484, 2017 | 4 | 2017 |
From phenotype to genotype in complex brain networks M Zanin, M Correia, PAC Sousa, J Cruz Scientific reports 6 (1), 19790, 2016 | 4 | 2016 |
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 | 3 | 2022 |
Machine learned heuristics to improve constraint satisfaction M Correia, P Barahona Brazilian Symposium on Artificial Intelligence, 103-113, 2004 | 3 | 2004 |
View-based propagation of decomposable constraints M Correia, P Barahona Constraints 18, 579-608, 2013 | 2 | 2013 |
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 | 2 | 2008 |
Overview of the CaSPER* Constraint Solvers M Correia, P Barahona Third International CSP Solver Competition, 15, 2008 | 2 | 2008 |
Uncertainty propagation in biomedical models A Franco, M Correia, J Cruz Conference on Artificial Intelligence in Medicine in Europe, 166-171, 2015 | 1 | 2015 |
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 | 1 | 2015 |
Type parametric compilation of algebraic constraints M Correia, P Barahona Portuguese Conference on Artificial Intelligence, 201-212, 2009 | 1 | 2009 |
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 |