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
WORLD CONGRESS ON EXPERT SYSTEM, 1994
561994
Cardinal: A finite sets constraint solver
F Azevedo
Constraints 12 (1), 93-129, 2007
472007
Modelling digital circuits problems with set constraints
F Azevedo, P Barahona
International Conference on Computational Logic, 414-428, 2000
302000
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
Constraint solving over multi-valued logics: application to digital circuits
F Azevedo
IOS Press, 2003
132003
Constraint solving over multi-valued logics: application to digital circuits
F Azevedo
IOS Press, 2003
132003
GRASPER A framework for graph CSPs
RD Viegas, F Azevedo
112007
An attempt to dynamically break symmetries in the social golfers problem
F Azevedo
International Workshop on Constraint Solving and Constraint Logic …, 2006
112006
Applications of an extended set constraint solver
F Azevedo, P Barahona
Proceedings of the ERCIM/CompulogNet Workshop on Constraints, 27, 2000
102000
Colored nonograms: an integer linear programming approach
L Mingote, F Azevedo
Portuguese Conference on Artificial Intelligence, 213-224, 2009
82009
Constraint solving over multi-valued logics
F Azevedo
IOS Press, 2003
72003
Logic programming techniques for solving circuit diagnosis
JJ Alferes, F Azevedo, P Barahona, CV Damásio, T Swift
In AIAI, 2001
72001
GRASPER
R Viegas, F Azevedo
Portuguese Conference on Artificial Intelligence, 633-644, 2007
62007
Extra Constraints for the Social Golfers Problem
F Azevedo, HN Van
Proceedings of LPAR, 2006
62006
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
52012
Progress in Artificial Intelligence: 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA …
JM Neves, MF Santos, JM Machado
Springer, 2007
52007
Generation of test patterns for differential diagnosis of digital circuits
F Azevedo, P Barahona
International Conference on Principles and Practice of Constraint …, 1998
51998
Symmetry breaking and extra constraints for social golfers problem
F Azevedo, HN Van
Proceedings of International Symmetry Conference, 2007
42007
Differentiating diagnostic theories through constraints over an eight-valued logic
F Azevedo, P Barahona
ECAI, 73-77, 2000
42000
The system can't perform the operation now. Try again later.
Articles 1–20