George Katsirelos

I am a researcher at the SaAB team of the MIAT unit at INRA, Toulouse. I am also a member of the COMIC multi-site research group. Research I work in Constraint Satisfaction and Satisfiability. I am interested in both global reasoning techniques like learning, exploiting symmetry and more powerful systems such as extended resolution; as well as in local reasoning techniques like designing algorithms and decompositions for global constraints.