Search the dblp DataBase

Publications of Author

1. George Katsirelos, Fahiem Bacchus
   Generalized NoGoods in CSPs. [Citation Graph (0, 0)][DBLP]
   AAAI, 2005, pp:390-396 [Conf]
   
2. George Katsirelos, Fahiem Bacchus
   GAC on Conjunctions of Constraints. [Citation Graph (0, 0)][DBLP]
   CP, 2001, pp:610-614 [Conf]
   
3. George Katsirelos, Fahiem Bacchus
   Unrestricted Nogood Recording in CSP Search. [Citation Graph (0, 0)][DBLP]
   CP, 2003, pp:873-877 [Conf]
   
4. George Katsirelos, Toby Walsh
   A Compression Algorithm for Large Arity Extensional Constraints. [Citation Graph (0, 0)][DBLP]
   CP, 2007, pp:379-393 [Conf]
   
5. 
   A Restriction of Extended Resolution for Clause Learning SAT Solvers. [Citation Graph (, )][DBLP]
   
   
6. 
   Propagating Conjunctions of AllDifferent Constraints. [Citation Graph (, )][DBLP]
   
   
7. 
   Restricted Global Grammar Constraints. [Citation Graph (, )][DBLP]
   
   
8. 
   The Weighted CfgConstraint. [Citation Graph (, )][DBLP]
   
   
9. 
   Reformulating Global Grammar Constraints. [Citation Graph (, )][DBLP]
   
   
10. 
    Combining Symmetry Breaking and Global Constraints. [Citation Graph (, )][DBLP]
    
    
11. 
    Symmetries of Symmetry Breaking Constraints. [Citation Graph (, )][DBLP]
    
    
12. 
    Circuit Complexity and Decompositions of Global Constraints. [Citation Graph (, )][DBLP]
    
    
13. 
    Decompositions of All Different, Global Cardinality and Related Constraints. [Citation Graph (, )][DBLP]
    
    
14. 
    Reformulating Global Grammar Constraints [Citation Graph (, )][DBLP]
    
    
15. 
    Combining Symmetry Breaking and Global Constraints [Citation Graph (, )][DBLP]
    
    
16. 
    Decompositions of All Different, Global Cardinality and Related Constraints [Citation Graph (, )][DBLP]
    
    
17. 
    Circuit Complexity and Decompositions of Global Constraints [Citation Graph (, )][DBLP]
    
    
18. 
    Restricted Global Grammar Constraints [Citation Graph (, )][DBLP]
    
    
19. 
    Decomposition of the NVALUE constraint [Citation Graph (, )][DBLP]
    
    
20. 
    Symmetries of Symmetry Breaking Constraints [Citation Graph (, )][DBLP]
    
    
21. 
    The Weighted CFG Constraint [Citation Graph (, )][DBLP]
    
    
22. 
    Breaking Generator Symmetry [Citation Graph (, )][DBLP]
    
    
23. 
    Propagating Conjunctions of AllDifferent Constraints [Citation Graph (, )][DBLP]
    
    
24. 
    Symmetries of Symmetry Breaking Constraints [Citation Graph (, )][DBLP]
    
    
25. 
    On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry [Citation Graph (, )][DBLP]
    
    
26. 
    Decomposition of the NVALUE constraint [Citation Graph (, )][DBLP]
    
    
27. 
    An Empirical Study of Borda Manipulation [Citation Graph (, )][DBLP]