Welcome to the Comics Multi-site Research Group

[Overview] [Members] [Publications]

 

Overview

The COMIC multi-site research group focuses on many aspects of modelling in constraints. This includes, but not restricted to:

  • Global Constraints: Global (or non-binary) constraints are one of the most important and powerful aspects of constraint programming systems. Our work lies within the design and implementation of dedicated propagation algorithms for global constraints so as to achieve efficient and effective constraint solving.
  • Computational Complexity: Our aim is to study the computational complexity of reasoning with global constraints. We demonstrate the usage of computational complexity in the design and analysis of specific global constraints.

The COMIC brings together members of COconut and the miMIC groups. .

Members

Christian Bessiere

CNRS, University of Montpellier, France

Emmanuel Hebrard

NICTA and University of New South Wales , Australia

Brahim Hnich

Faculty of Computer Sciences, Izmir University of Economics, Izmir, Turkey

Zeynep Kiziltan

Deis, University of Bologna, Italy

Claude-Guy Quimper

School of Computer Science, University of Waterloo, Canada

Toby Walsh

NICTA and University of New South Wales , Australia

Publications

2007

 

C. Bessiere, E. Hebrard, B. Hnich, T. Walsh.
"The Complexity of Reasoning with Global Constraints"
Constraints, volume 12(2), to appear, pages ??.
Download constraints07-complexity.pdf

 

2006

 

C. Bessiere, E. Hebrard, B. Hnich, Z. Kiziltan, T. Walsh.
"Filtering algorithms for the NValue constraint"
Constraints, volume 11(4), pages 271--293.
Download constraints06-nvalue.pdf

C. Bessiere, E. Hebrard, B. Hnich, Z. Kiziltan, T. Walsh.
"The Roots constraint"
Proceedings CP'06, Nantes, France, pages 75--90.
Download cp06-roots.pdf

 

C. Bessiere, E. Hebrard, B. Hnich, Z. Kiziltan, T. Walsh.
"The Range constraint: Algorithms and Implementation"
Proceedings CPAIOR'06, Cork, Ireland, pages 59--73.
Download cpaior06.pdf

 

2005

  • Propagating Logical Combinations of Constraints (pdf, legal ps, letter ps)
    Fahiem Bacchus and Toby Walsh. Proceedings of IJCAI-2005, 2005.
  • The Backbone of the Traveling Salesperson (pdf, legal ps, letter ps)
    Philip Kilby, John Slaney and Toby Walsh. Proceedings of IJCAI-2005, 2005.
  • Finding Diverse and Similar Solutions in Constraint Programming (pdf, legal ps, letter ps)
    Emmanuel Hebrard, Brahim Hnich, Barry O'Sullivan and Toby Walsh. Proceedings of AAAI-2005, 2005.
  • Constraint-based Preferential Optimization (pdf, legal ps, letter ps)
    Steve Prestwich, Francesca Rossi, Brent Venable and Toby Walsh. Proceedings of AAAI-2005, 2005.
  • Backbones and Backdoors in Satisfiability (pdf, legal ps, letter ps)
    Philip Kilby, John Slaney, Sylvie Thiebaux and Toby Walsh. Proceedings of AAAI-2005, 2005.
  • Aggregationg partially ordered preferences: impossibility and possibility results (pdf, legal ps, letter ps)
    Maria Silvia Pini, Francesca Rossi, Brent Venable and Toby Walsh. Proceedings of TARK-2005, 2005.
  • The Range and Roots Constraints: Specifying Counting and Occurrence Problems (pdf, legal ps, letter ps)
    Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh. Proceedings of IJCAI-2005, 2005.
  • Filtering Algorithms for the NVALUE constraint (pdf, legal ps, letter ps)
    Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh. Proceedings of CPAIOR-2005, 2005.

 

2004

 

Technical Reports

SLIDE: A Useful Special Case of the Cardpath Constraint (pdf)
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh. Technical report COMIC-2008-0013, 2008.

 

Decomposing Global Grammar Constraints (pdf, legal ps, letter ps)
Claude-Guy Quimper and Toby Walsh. Technical report COMIC-2007-009, April 2007.

Breaking Value Symmetry (pdf, legal ps, letter ps)
Toby Walsh. Technical report COMIC-2007-008, January 2007.

The SLIDE Constraint (pdf, legal ps, letter ps)
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh. Technical report COMIC-2006-007, July 2006.

 

General Symmetry Breaking Constraints (pdf, legal ps, letter ps)
Toby Walsh. Technical report COMIC-2006-006, April 2006.

 

Global Grammar Constraints (pdf, legal ps, letter ps)
Claude-Guy Quimper and Toby Walsh. Technical report COMIC-2006-005, April 2006.

 

The Range and Roots Constraints: some applications (pdf, legal ps, letter ps)
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh. Technical report COMIC-2006-003, January 2006.

The Range and Roots Constraints: Algorithms and Implementation (pdf, legal ps, letter ps)
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh. Technical report COMIC-2006-001, January 2006.

Symmetry Breaking using Value Precedence (pdf, legal ps, letter ps)
Toby Walsh. Technical report COMIC-2006-002, January 2006.

Estimating Search Tree Size (pdf, legal ps, letter ps)
Phil Kilby, John Slaney, Sylvie Thiebaux and Toby Walsh. Technical report COMIC-2006-004, March 2006

 

 

 

 

 

Comments concerning this page should go to brahim.hnich-at-ieu.edu.tr