You are here

Table Constraint Propagators

Comet source code for the propagators defined in the Thesis “Propagators for Table Constraints” (Jean-Baptiste Mairy) and state-of-the art propagator re-implementations. Also, python source code for the statistical treatment of the experimental data presented in the thesis. All the code is published under GPLv3 licence.

Contents:

  • GAC_propagators_for_Table_Constraints: GAC propagators defined in [1] and reimplementation of the state of the art propagators in Comet.
  • Domain_k_Wise_Consistency: weak Domain k Wise Consistency propagators defined in [2] and reimplementation of the state of the art propagators in Comet.
  • Statistical_treatment_expe_data: python scripts computing different statistical treatments for experimental data presented in the thesis.

[1] Jean-Baptiste Mairy, Pascal Van Hentenryck and Yves Deville, “Optimal and Efficient Filtering Algorithms for Table Constraints”, Constraints 19 (1), pages 77-120
[2] Jean-Baptiste Mairy, Yves Deville and Christophe Lecoutre, “Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency”, Integration of AI and OR Techniques in Constraint Programming (CPAIOR) 2014, pages 235-250