I attended CP2016: “The 22nd International Conference on Principles and Practice of Constraint Programming” in Toulouse, France.

We presented our paper “Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT”.

I also helped organise and run the CSPLib Sprint event as part of this conference.




License CC BY 4.0