Search the dblp DataBase

Publications of Author

1. Tarik Hadzic, Henrik Reif Andersen
   A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration. [Citation Graph (0, 0)][DBLP]
   AAAI, 2006, pp:- [Conf]
   
2. Tarik Hadzic
   A BDD-Based Approach to Interactive Configuration. [Citation Graph (0, 0)][DBLP]
   CP, 2004, pp:797- [Conf]
   
3. Tarik Hadzic, Henrik Reif Andersen
   Interactive Reconfiguration in Power Supply Restoration. [Citation Graph (0, 0)][DBLP]
   CP, 2005, pp:767-771 [Conf]
   
4. Peter Tiedemann, Tarik Hadzic, Thomas Stuart Henney, Henrik Reif Andersen
   Interactive Distributed Configuration. [Citation Graph (0, 0)][DBLP]
   CP, 2006, pp:761-765 [Conf]
   
5. Tarik Hadzic, Andrzej Wasowski, Henrik Reif Andersen
   Techniques for Efficient Interactive Configuration of Distribution Networks. [Citation Graph (0, 0)][DBLP]
   IJCAI, 2007, pp:100-105 [Conf]
   
6. Henrik Reif Andersen, Tarik Hadzic, J. N. Hooker, Peter Tiedemann
   A Constraint Store Based on Multivalued Decision Diagrams. [Citation Graph (0, 0)][DBLP]
   CP, 2007, pp:118-132 [Conf]
   
7. Tarik Hadzic, J. N. Hooker
   Cost-Bounded Binary Decision Diagrams for 0-1 Programming. [Citation Graph (0, 0)][DBLP]
   CPAIOR, 2007, pp:84-98 [Conf]
   
8. Tarik Hadzic, Rune M. Jensen, Henrik Reif Andersen
   Calculating Valid Domains for BDD-Based Interactive Configuration [Citation Graph (0, 0)][DBLP]
   CoRR, 2007, v:0, n:, pp:- [Journal]
   
9. 
   Approximate Compilation of Constraints into Multivalued Decision Diagrams. [Citation Graph (, )][DBLP]
   
   
10. 
    Reasoning about Optimal Collections of Solutions. [Citation Graph (, )][DBLP]
    
    
11. 
    Propagating Separable Equalities in an MDD Store. [Citation Graph (, )][DBLP]
    
    
12. 
    A BDD Approach to the Feature Subscription Problem. [Citation Graph (, )][DBLP]
    
    
13. 
    Knowledge Compilation for Itemset Mining. [Citation Graph (, )][DBLP]
    
    
14. 
    Layer Compression in Decision Diagrams. [Citation Graph (, )][DBLP]
    
    
15. 
    Enhanced Inference for the Market Split Problem. [Citation Graph (, )][DBLP]
    
    
16. 
    Functional Dependencies in MDD-Compiled Product Catalogues. [Citation Graph (, )][DBLP]
    
    
17. 
    Uncovering functional dependencies in MDD-compiled product catalogues. [Citation Graph (, )][DBLP]
    
    
18. 
    Critique graphs for catalogue navigation. [Citation Graph (, )][DBLP]