Timetabling in constraint logic programming F Azevedo, P Barahona In Proceedings of 2nd World Congress on Expert Systems, 1994 | 57 | 1994 |
Cardinal: A finite sets constraint solver F Azevedo Constraints 12, 93-129, 2007 | 50 | 2007 |
Modelling digital circuits problems with set constraints F Azevedo, P Barahona International Conference on Computational Logic, 414-428, 2000 | 32 | 2000 |
Constraint solving over multi-valued logics: application to digital circuits F Azevedo IOS Press, 2003 | 22 | 2003 |
Computerising a guideline for the management of diabetes P Barahona, F Azevedo, M Veloso, N Estêvão, R Gallego International journal of medical informatics 64 (2-3), 275-284, 2001 | 20 | 2001 |
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 |
An attempt to dynamically break symmetries in the social golfers problem F Azevedo International Workshop on Constraint Solving and Constraint Logic …, 2006 | 13 | 2006 |
GRASPER: a framework for graph CSPs R Viegas, F Azevedo Proceedings of the Sixth International Workshop on Constraint Modelling and …, 2007 | 11 | 2007 |
Applications of an extended set constraint solver F Azevedo, P Barahona Proceedings of the ERCIM/CompulogNet Workshop on Constraints, 27, 2000 | 11 | 2000 |
Colored nonograms: an integer linear programming approach L Mingote, F Azevedo Portuguese Conference on Artificial Intelligence, 213-224, 2009 | 10 | 2009 |
How environmental factors impact line performance, field results from Southwest Europe J Gomes-Mota, A Brantes, LC Pinto, D de Exploração, F Azevedo 2012 11th International Conference on Environment and Electrical Engineering …, 2012 | 7 | 2012 |
Logic programming techniques for solving circuit diagnosis JJ Alferes, F Azevedo, P Barahona, C Damásio, T Swift Artificial Intelligence Applications and Innovations, 155-166, 2004 | 7 | 2004 |
GRASPER: (A Framework for Graph Constraint Satisfaction Problems) R Viegas, F Azevedo Progress in Artificial Intelligence: 13th Portuguese Conference on …, 2007 | 6 | 2007 |
Extra Constraints for the Social Golfers Problem F Azevedo, HN Van 13th International Conference on Logic for Programming Artificial …, 2006 | 6 | 2006 |
Generation of test patterns for differential diagnosis of digital circuits F Azevedo, P Barahona Principles and Practice of Constraint Programming—CP98: 4th International …, 1998 | 5 | 1998 |
Symmetry Breaking and Extra Constraints for the Social Golfers Problem F Azevedo, HN Van Proceedings of International Symmetry Conference, 2007 | 4 | 2007 |
Constrained XSL formatting objects for adaptive documents G Loureiro, F Azevedo Proceedings of the 2005 ACM symposium on Document engineering, 95-97, 2005 | 4 | 2005 |
Differentiating diagnostic theories through constraints over an eight-valued logic F Azevedo, P Barahona ECAI, 73-77, 2000 | 4 | 2000 |
OHL assessment and risk evaluation based on environmental and inspection data F Azevedo, J Gomes-Mota, L Campos-Pinto, N Machado, SA de Graaff International Journal of Electrical Power & Energy Systems 70, 127-130, 2015 | 3 | 2015 |
Domain-splitting generalized nogoods from restarts L Baptista, F Azevedo Progress in Artificial Intelligence: 15th Portuguese Conference on …, 2011 | 3 | 2011 |