1
TITLE: OHL assessment and risk evaluation based on environmental and inspection data  Full Text
AUTHORS: Francisco Azevedo; Joao Gomes Mota; Luis Campos Pinto; Nelio Machado; Susana de Almeida de Graaff;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 70
INDEXED IN: Scopus WOS CrossRef
2
TITLE: Domain-Splitting Generalized Nogoods from Restarts  Full Text
AUTHORS: Luis Baptista; Francisco Azevedo;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026
INDEXED IN: Scopus WOS CrossRef
3
TITLE: GRASPER: constraint reasoning with graphs
AUTHORS: Viegas, RD; Azevedo, FA;
PUBLISHED: 2010, SOURCE: International Journal of Reasoning-based Intelligent Systems, VOLUME: 2, ISSUE: 1
INDEXED IN: Scopus CrossRef
4
TITLE: Colored Nonograms: An Integer Linear Programming Approach
AUTHORS: Luis Mingote; Francisco Azevedo;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816
INDEXED IN: Scopus WOS CrossRef
5
TITLE: Lazy Constraint Imposing for Improving the Path Constraint
AUTHORS: Viegas, RD; Azevedo, F;
PUBLISHED: 2009, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 253, ISSUE: 4
INDEXED IN: Scopus CrossRef
6
TITLE: Using Indexed Finite Set Variables for Set Bounds Propagation
AUTHORS: Ruben Duarte Viegas; Marco Correia; Pedro Barahona ; Francisco Azevedo;
PUBLISHED: 2008, SOURCE: 11th Ibero-American Conference on Artificial Intelligence in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2008, PROCEEDINGS, VOLUME: 5290
INDEXED IN: Scopus WOS CrossRef
7
TITLE: Maxx: Test pattern optimisation with local search over an extended logic  Full Text
AUTHORS: Francisco Azevedo;
PUBLISHED: 2007, SOURCE: CONSTRAINTS, VOLUME: 12, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
8
TITLE: Cardinal: A finite sets constraint solver  Full Text
AUTHORS: Francisco Azevedo;
PUBLISHED: 2007, SOURCE: CONSTRAINTS, VOLUME: 12, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
9
TITLE: GRASPER - (A framework for graph constraint satisfaction problems)
AUTHORS: Ruben Viegas; Francisco Azevedo;
PUBLISHED: 2007, SOURCE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874
INDEXED IN: WOS
10
TITLE: An attempt to dynamically break symmetries in the social golfers problem
AUTHORS: Francisco Azevedo;
PUBLISHED: 2007, SOURCE: 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming in Recent Advances in Constraints, VOLUME: 4651
INDEXED IN: Scopus WOS
Page 1 of 2. Total results: 15.