Search the dblp DataBase

Publications of Author

1. Mihaela Butaru, Zineb Habbas
   The Car-Sequencing Problem as n-Ary CSP - Sequential and Parallel Solving. [Citation Graph (0, 0)][DBLP]
   Australian Conference on Artificial Intelligence, 2005, pp:875-878 [Conf]
   
2. Mihaela Butaru, Zineb Habbas
   Solving the Car-Sequencing Problem as a Non-binary CSP. [Citation Graph (0, 0)][DBLP]
   CP, 2005, pp:840- [Conf]
   
3. Pierre-Paul Mérel, Zineb Habbas, Francine Herrmann, Daniel Singer
   N-Ary Consistencies and Constraint-Based Backtracking. [Citation Graph (0, 0)][DBLP]
   CP, 1996, pp:551-552 [Conf]
   
4. Mounira Belmesk, Zineb Habbas, Philippe Jorrand
   A Process Algebra over the Herbrand Universe: Application to Parallelism in Automated Deduction. [Citation Graph (0, 0)][DBLP]
   Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:163-181 [Conf]
   
5. Zineb Habbas, Francine Herrmann, Pierre-Paul Mérel, Daniel Singer
   Load Balancing strategies for Parallel Forward Search Algorithm with Conflict Based Backjumping. [Citation Graph (0, 0)][DBLP]
   ICPADS, 1997, pp:376-381 [Conf]
   
6. Mounira Belmesk, Zineb Habbas
   Une algèbre de processus pour la programmation logique parallèle. [Citation Graph (0, 0)][DBLP]
   JFPL, 1992, pp:162-0 [Conf]
   
7. Zineb Habbas, Michaël Krajecki, Daniel Singer
   The Langford's Problem: A Challenge for Parallel Resolution of CSP. [Citation Graph (0, 0)][DBLP]
   PPAM, 2001, pp:789-796 [Conf]
   
8. Zineb Habbas, Francine Herrmann, Daniel Singer, Michaël Krajecki
   A Methodological Approach to Implement CSP on FPGA. [Citation Graph (0, 0)][DBLP]
   IEEE International Workshop on Rapid System Prototyping, 1999, pp:66-0 [Conf]
   
9. Zineb Habbas, Francine Herrmann, Michaël Krajecki
   A Fast Parallel Tree Contraction for the Ray-object Calculus Using Open-MP. [Citation Graph (0, 0)][DBLP]
   Computers and Artificial Intelligence, 2001, v:20, n:1, pp:- [Journal]
   
10. Zineb Habbas, Michaël Krajecki, Daniel Singer
    Shared Memory Implementation of Constraint Satisfaction Problem Resolution. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 2001, v:11, n:4, pp:487-501 [Journal]
    
11. Zineb Habbas
    A Compete Modal Proof for HAL: the Herbrand Agent Language. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:119, n:1, pp:127-143 [Journal]
    
12. 
    Transfer Graph Approach for Multimodal Transport Problems. [Citation Graph (, )][DBLP]
    
    
13. 
    Hypertree Decomposition for Solving Constraint Satisfaction Problems. [Citation Graph (, )][DBLP]