Research Interests

List of publications

In a past life, I did research in solving difficult combinatorial problems, such as those in transportation, scheduling, and bioinformatics. The work included detecting and exploiting symmetry in constraint programming to make solving these problems easier, and in finding other ways of making constraint solving faster with caching and problem re-modeling.

Experimental Data

Symmetry breaking

In our research we have used certain benchmark problems to test our Lightweight Dynamic Symmetry Breaking method. The benchmark problems work with ECLiPSe and Gecode, and can be found here.