List of Publications of Brahim Hnich

Journals

• Propagation Algorithms for Lexicographic Ordering Constraints.
  Frisch AM, Hnich B, Kiziltan Z, I. Miguel, T. Walsh.

ARTIFICIAL INTELLIGENCE 170 (10): 803-834 JUL 2006

• Template Design Under Demand Uncertainty by Integer Linear Local Search.
  S. Prestwich, A. Tarim, B. Hnich. To appear in
  International Journal of Production Research, Volume 44, Issue 22, 2006.
• Constraint Models for the Covering Test Problem.

Hnich B, Prestwich SD, Selensky E, B. Smith.
CONSTRAINTS 11 (2-3): 199-219 JUL 2006

• Filtering algorithms for the NValue constraint(constraints06-nvalue.pdf).
  C. Bessiere, E. Hebrard, B. Hnich, Z. Kiziltan, T. Walsh.

Constraints, to appear, volume 11(4), pages ??.

• The Complexity of Reasoning with Global Constraints(constraints-complexity.pdf).
  C. Bessiere, E. Hebrard, B. Hnich, T. Walsh.

Constraints, to appear, pages ??

• Models of Permutation and Injection Problems (ps)
  Brahim Hnich, Barbara Smith, and Toby Walsh.
  Journal of AI Research, Volume 21, pages 357-391, 2004.
• Hybrid Modelling for Robust Solving (pdf [preprint])
  Brahim Hnich, Zeynep Kiziltan, Ian Miguel, and Toby Walsh.
  Annals of Operation Research, 2004
• Function Variables for Constraint Programming (pdf [preprint]
  Brahim Hnich.
  Communications of AI , 2003.
• Specification, Implementation, and Deployment of Components.(pdf)
  I. Crnkovic, B. Hnich, T. Jonsson, Z. Kiziltan.
  CACM 45(10): 35-40 (2002)

International Refereed Conferences

IJCAI

• The Range and Roots Constraints: Specifying Counting and Occurrence Problems (pdf)
  Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh.
  To appear in Proceedings of the 19th International Joint Conference on Artificial Intelligence IJCAI 2005, 2005.
• Multiset Ordering Constraints (pdf)
  Alan Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, and Toby Walsh.
  Proceedings of IJCAI-2003, 2003.

AAAI

• Finding Diverse and Similar Solutions in Constraint Programming (pdf)
  Emmanuel Hebrard, Brahim Hnich, Barry O'Sullivan, and Toby Walsh.
  To appear in Proceedings of the 20th National Conference on Artificial Intelligence AAAI 2005, 2005.
• The Complexity of Global Constraints (pdf)
  Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, and Toby Walsh.
  In: Proc. of AAAI-04.

ECAI

• Robust Solutions for Constraint Satisfaction and Optimization (pdf)
  Emmanuel Hebrard, Brahim Hnich, and Toby Walsh.
  In: Proc. of ECAI-04.

CP

• The Roots constraint (cp06-roots.pdf).
  C. Bessiere, E. Hebrard, B. Hnich, Z. Kiziltan, T. Walsh.

Proceedings CP'06, Nantes, France, pages 75--90.

• Disjoint, Partition and Intersection Constraints for Set and Multiset Variables (pdf)
  Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, and Toby Walsh.
  Proceedings of CP-2004, 2004.
• The Tractability of Global Constraints (pdf)
  Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, and Toby Walsh.
  Proceedings of CP-2004. , 2004.
• Breaking Row and Column Symmetries in Matrix Models ( ps)
  Pierre Flener, Alan Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson and Toby Walsh.
  Proceedings of CP-2002, 2002.
• Global Constraints for Lexicographic Orderings (ps)
  Alan Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel and Toby Walsh.
  Proceedings of CP-2002, 2002.
• Models of injection problems
  B. Hnich and T. Walsh.
  In: P. Van Hentenryck (ed), Proc. of CP'02, p. 781,LNCS, volume 2470. Springer-Verlag, 2002. (PDF)
• High-Level Modelling and Reformulation of Constraint Satisfaction Problems
  Brahim Hnich.
  CP 2001: pp. 766. 2001.

CP-AI-OR

• The Range constraint: Algorithms and Implementation(cpaior06.pdf)
  C. Bessiere, E. Hebrard, B. Hnich, Z. Kiziltan, T. Walsh.

Proceedings CPAIOR'06, Cork, Ireland, pages 59--73.

• Event-driven Probabilistic Constraint Programming. 

Tarim SA, Hnich B, Prestwich SD
LECTURE NOTES IN COMPUTER SCIENCE 3990: 197-211 2006

• Using Case Based Reasoning to Select Solution Strategies in Constraint Programming (ps)
  Cormac Gebruers, Brahim Hnich, Derek Bridge and Eugene Freuder.
  To appear in Proceedings of the 6th International Conference on Case Based Reasoning, ICCBR 2005 , 2005.
• Super Solutions in Constraint Programming (ps)
  Emmanuel Hebrard, Brahim Hnich, and Toby Walsh.
  In: Proc. of CPAIOR-04.
• Making Choices using Structure at the Instance Level within a Case Based Reasoning Framework (ps)
  C. Gebruers, A. Guerri, B. Hnich, and M. Milano.
  In: Proc. of CPAIOR-04.
• Modelling a Balanced Academic Curriculum Problem ( ps)
  Brahim Hnich, Zeynep Kiziltan and Toby Walsh.
  Proceedings of CP-AI-OR-2002, 2002.

Others

• Using Case Based Reasoning to Select Solution Strategies in Constraint Programming (ps)
  Cormac Gebruers, Brahim Hnich, Derek Bridge and Eugene Freuder.
  To appear in Proceedings of the 6th International Conference on Case Based Reasoning, ICCBR 2005 , 2005.
• Transforming and Refining Abstract Constraint Specifications (ps)
  Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh.
  In: Proc. Symposium on Abstraction, Reformulation and Approximation (SARA 2005), 2005.
• Combining Symmetry Breaking with Other Constraints: lexicographic ordering with sums (ps)
  B. Hnich, Z. Kiziltan, and T. Walsh.
  In: Proc. of the Eighth International Symposium on Artificial Intelligence And Mathematics.
• Towards inferring labelling heuristics for CSP application domains.
  Z. Kiziltan, P. Flener, and B. Hnich.
  In: F. Baader, G. Brewka, and T. Eiter (eds), Proc. of KI'01, pp. 275-289.
  Lecture Notes in Artificial Intelligence, volume 2174. Springer-Verlag, 2001. (Postscript)
• High-level reformulation of constraint programs.
  B. Hnich and P. Flener.
  In: Ph. Codognet (ed), Proc. of JFPLC'01, pp. 75-89.
  Éditions Hermès, 2001. (Postscript)
• Compiling high-level type constructors in constraint programming.
  P. Flener, B. Hnich, and Z. Kiziltan.
  In: I.V. Ramakrishnan (ed), Proc. of PADL'01, pp. 229-244.
  Lecture Notes in Computer Science, volume 1990. Springer-Verlag, 2001. (Postscript)
• A meta-heuristic for subset problems.
  P. Flener, B. Hnich, and Z. Kiziltan.
  In: I.V. Ramakrishnan (ed), Proc. of PADL'01, pp. 274-287.
  Lecture Notes in Computer Science, volume 1990. Springer-Verlag, 2001. (Postscript)
• MUVIS: A System for Content-Based Indexing and Retrieval in Large Image Databases.
  F. Alaya Cheikh, B. Cramariuc, C. Reynaud, M. Quinghong, B. Dragos-Adrian, B. Hnich, M. Gabbouj, P. Kerminen, T. Mäkinen and H. Jaakkola.
  Proceedings of the SPIE/EI'99 Conference on Storage and Retrieval for Image and Video Databases VII, Vol. 3656, San Jose, California, 26-29 January 1999.
• Schema-guided synthesis of constraint logic programs.
  P. Flener, H. Zidoum, and B. Hnich.
  In: D.F. Redmiles and B. Nuseibeh (eds), Proc. of ASE'98, pp. 168-176.
  IEEE Computer Society Press, 1998. (Postscript)
• Schema-guided synthesis of constraint logic programs.
  H. Zidoum, P. Flener, and B. Hnich.
  Extended abstract.
  In: P. Flener (ed), Post-Proc. of LOPSTR'98, pp. 309-312. Lecture Notes in Computer Science, volume 1559. Springer-Verlag, 1999. (Postscript)

Books and Book Chapters

• Recent Advances in Constraints.

Brahim Hnich, Mats Carlsson, Francois Fages, and Francesca Rossi,

LNAI, ISBN: 354034215X, 2006.

• Among, Common and Disjoint Constraints.[Book Chapter] 

Bessiere C, Hebrard E, Hnich B, Z. Kiziltan, T. Walsh.
LNAI 3978: 29-43 2006

• Constraint-Based Approaches to the Covering Test Problem .[Book Chapter]
  B. Hnich, S. Prestwich, E. Selensky.
  Lecture Notes in Computer Science, Volume 3419, Mar 2005, Pages 172 - 186 (pdf )
• Function Variables for Constraint Programming.
  Brahim Hnich. Phd Thesis. 156 pp. Uppsala University. 2003. ISBN 91-506-1650-1.
  (abstract , full text in pdf )
• On the Definition of Concepts in Component Based Software Development. [Book Chapter]
  I. Crnkovic, B. Hnich, T. Jonsson, Z. Kiziltan.
  In Ivica Crnkovic and Magnus Larsson (editors), Building Reliable Component-Based Software Systems, Artech House publisher 2002 ISBN: ISBN 1-58053-327-2.

Proceedings

• Proceedings of The Fourth International Workshop on Modelling and Reformulating Constraint Satisfaction Problems
  Held in conjunction with the Eleventh International Conference on Principles and Practice of Constraint Programming ( CP 2005 ).
  Brahim Hnich, Patrick Prosser, and Barbara Smith (Editors), 2005.
• Proceedings of The Fifth International Workshop on Modelling and Solving Problems with Constraints
  Held in conjunction with the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005).
  Christian Bessiere Brahim Hnich, Zeynep Kiziltan, and Toby Walsh (Eds.), 2005.
• Proceedings of the Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming.
  Mats Carlsson, Francois Fages, Brahim Hnich, and Francesca Rossi (eds.), 2005.
• Proceedings of the Workshop on Modelling and Solving Problems with Constraints
  Held in conjunction with the 16th European Conference on Artificial Intelligence (ECAI 2004).
  Brahim Hnich and Toby Walsh (Editors), 2004.

Workshops

• Improved algorithm for finding (a,b)-super solutions ((preliminary version) pdf)
  Emmanuel Hebrard, Brahim Hnich, and Toby Walsh.
  Proceedings of CPPS 2005, 2005.
• Modeling the Covering Test Problem (pdf)
  Brahim Hnich, Steven Prestwich, Evgeny Selensky.
  In: Proc. Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming (CSCLP'04), 2004.
• Transforming and Refining Abstract Constraint Specifications (pdf)
  Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh.
  In: Proc. Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming (CSCLP'04), 2004.
• Why Channel? Multiple viewpoints for branching heuristics (ps)
  B. Hnich and T. Walsh.
  In: Proc. of the CP'03 Second International Workshop on Modelling and Reformulating Constraint Satisfaction Problems: Towards Systematisation and Automation.
• Combining Symmetry Breaking with Other Constraints: lexicographic ordering with sums (ps)
  B. Hnich, Z. Kiziltan, and T. Walsh.
  In: Proc. of the CP'03 Third International Workshop on Symmetry in Constraint Satisfaction Problems.
• Super CSPs
  E. Hebrard, B. Hnich, and T. Walsh.
  In: Proc. of the CP'03 Workshop on Online Constraint Solving: Handling Change and Uncertainty.(ps)
• Matrix Modelling: Exploiting Common Patterns in Constraint Programming (pdf)
  P. Flener, A.M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel and T. Walsh.
  Proceedings of the International Workshop on Reformulating Constraint Satisfaction Problems, held alongside CP-2002, Cornell, 2002.
• Towards Model Reformulation at Multiple Levels of Abstraction ( ps)
  A.M. Frisch, B. Hnich, I. Miguel, B.M. Smith and T. Walsh.
  Proceedings of the International Workshop on Reformulating Constraint Satisfaction Problems, held alongside CP-2002, Cornell, 2002.
• Matrix modelling.
  P. Flener, A.M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, and T. Walsh.
  In: P. Prosser (ed), Proc. of Formul'01, the CP'01 Workshop on Modelling and Problem Formulation, 2001. (Postscript)
• Symmetry in matrix models.
  P. Flener, A.M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, J. Pearson, and T. Walsh.
  In: P. Flener and J. Pearson (eds), Proc. of SymCon'01, the First Int'l Workshop on Symmetry in CSPs, held at CP'01. (Postscript)
• Symmetry breaking in a rack configuration problem.
  Z. Kiziltan and B. Hnich.
  In: Ch. Bessière (ed), Proc. of the IJCAI'01 Workshop on Modelling and Solving Problems with Constraints, pp. 83-88, 2001. (Postscript)
• Improved algorithm for finding (a,b)-super solutions ((preliminary version) pdf)
  Emmanuel Hebrard, Brahim Hnich, and Toby Walsh.
  Proceedings of CPPS 2005, 2005.
• Towards schema-guided compilation of set constraint programs.
  P. Flener, B. Hnich, and Z. Kiziltan.
  In: G. Rossi and B. Jayaraman (eds), Proc. of DPS'99, pp. 59-66.
  Technical Report 200, Mathematics Dept, University of Parma, Italy, 1999. (Postscript)
• Generating programs for k-subset problems.
  B. Hnich and Z. Kiziltan.
  In: P. Alexander (ed), Proc. of ASE'99 Doctoral Symposium, 1999. (Postscript)