Follow
Francisco Azevedo
Francisco Azevedo
Professor de Engenharia Informática, Universidade Nova de Lisboa
Verified email at fct.unl.pt
Title
Cited by
Cited by
Year
Timetabling in constraint logic programming
F Azevedo, P Barahona
In Proceedings of 2nd World Congress on Expert Systems, 1994
571994
Cardinal: A finite sets constraint solver
F Azevedo
Constraints 12, 93-129, 2007
492007
Modelling digital circuits problems with set constraints
F Azevedo, P Barahona
International Conference on Computational Logic, 414-428, 2000
312000
Constraint solving over multi-valued logics: application to digital circuits
F Azevedo
IOS Press, 2003
222003
Constraint solving over multi-valued logics: application to digital circuits
F Azevedo
IOS Press, 2003
222003
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
202001
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
An attempt to dynamically break symmetries in the social golfers problem
F Azevedo
International Workshop on Constraint Solving and Constraint Logic …, 2006
122006
GRASPER: a framework for graph CSPs
R Viegas, F Azevedo
Proceedings of the Sixth International Workshop on Constraint Modelling and …, 2007
112007
Applications of an extended set constraint solver
F Azevedo, P Barahona
Proceedings of the ERCIM/CompulogNet Workshop on Constraints, 27, 2000
112000
Colored nonograms: an integer linear programming approach
L Mingote, F Azevedo
Portuguese Conference on Artificial Intelligence, 213-224, 2009
102009
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
72012
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
72004
GRASPER: (A Framework for Graph Constraint Satisfaction Problems)
R Viegas, F Azevedo
Progress in Artificial Intelligence: 13th Portuguese Conference on …, 2007
62007
Extra Constraints for the Social Golfers Problem
F Azevedo, HN Van
13th International Conference on Logic for Programming Artificial …, 2006
62006
Generation of test patterns for differential diagnosis of digital circuits
F Azevedo, P Barahona
Principles and Practice of Constraint Programming—CP98: 4th International …, 1998
51998
Symmetry Breaking and Extra Constraints for the Social Golfers Problem
F Azevedo, HN Van
Proceedings of International Symmetry Conference, 2007
42007
Constrained XSL formatting objects for adaptive documents
G Loureiro, F Azevedo
Proceedings of the 2005 ACM symposium on Document engineering, 95-97, 2005
42005
Differentiating diagnostic theories through constraints over an eight-valued logic
F Azevedo, P Barahona
ECAI, 73-77, 2000
42000
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
32015
The system can't perform the operation now. Try again later.
Articles 1–20