Theo dõi
Francisco Azevedo
Francisco Azevedo
Professor de Engenharia Informática, Universidade Nova de Lisboa
Email được xác minh tại fct.unl.pt
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
502007
Modelling digital circuits problems with set constraints
F Azevedo, P Barahona
International Conference on Computational Logic, 414-428, 2000
322000
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
132006
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
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20