Search the dblp DataBase

Publications of Author

1. Francisco Azevedo, Pedro Barahona
   Modelling Digital Circuits Problems with Set Constraints. [Citation Graph (0, 0)][DBLP]
   Computational Logic, 2000, pp:414-428 [Conf]
   
2. Francisco Azevedo, Pedro Barahona
   Interaction of Constraint Programming and Local Search for Optimisation Problems. [Citation Graph (0, 0)][DBLP]
   CP, 2001, pp:554-559 [Conf]
   
3. Francisco Azevedo, Pedro Barahona
   Generation of Test Patterns for Differential Diagnosis of Digital Circuits. [Citation Graph (0, 0)][DBLP]
   CP, 1998, pp:462- [Conf]
   
4. Gil Loureiro, Francisco Azevedo
   Constrained XSL formatting objects for adaptive documents. [Citation Graph (0, 0)][DBLP]
   ACM Symposium on Document Engineering, 2005, pp:95-97 [Conf]
   
5. Francisco Azevedo, Pedro Barahona
   Differentiating Diagnosis Theories through Constaints over an Eight-valued Logic. [Citation Graph (0, 0)][DBLP]
   ECAI, 2000, pp:73-77 [Conf]
   
6. José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift
   Deductive Diagnosis of Digital Circuits. [Citation Graph (0, 0)][DBLP]
   AIAI, 2004, pp:155-166 [Conf]
   
7. Francisco Azevedo
   Thesis: Constraint solving over multi-valued logics - application to digital circuits. [Citation Graph (0, 0)][DBLP]
   AI Commun., 2003, v:16, n:2, pp:125-127 [Journal]
   
8. Francisco Azevedo
   An Attempt to Dynamically Break Symmetries in the Social Golfers Problem. [Citation Graph (0, 0)][DBLP]
   CSCLP, 2006, pp:33-47 [Conf]
   
9. Ruben Viegas, Francisco Azevedo
   GRASPER. [Citation Graph (0, 0)][DBLP]
   EPIA Workshops, 2007, pp:633-644 [Conf]
   
10. Nuno C. Marques, Francisco Azevedo, Carmen Morgado, Jorge F. Custódio
    Using Octave to introduce programming to technical science students. [Citation Graph (0, 0)][DBLP]
    ITiCSE, 2005, pp:198-202 [Conf]
    
11. Francisco Azevedo
    Cardinal: A Finite Sets Constraint Solver. [Citation Graph (0, 0)][DBLP]
    Constraints, 2007, v:12, n:1, pp:93-129 [Journal]
    
12. 
    Colored Nonograms: An Integer Linear Programming Approach. [Citation Graph (, )][DBLP]
    
    
13. 
    Using Indexed Finite Set Variables for Set Bounds Propagation. [Citation Graph (, )][DBLP]
    
    
14. 
    Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic. [Citation Graph (, )][DBLP]
    
    
15. 
    Lazy Constraint Imposing for Improving the Path Constraint. [Citation Graph (, )][DBLP]