
views: 100
George Katsirelos
Researcher
Sign in to view more

Ego Network
D-Core
Research Interests
Author Statistics
Experience
Sign in to view more
Education
Sign in to view more
Bio
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.
Papers58 papers
Sort
By YearBy Citation
national conference on artificial intelligence, (2020)
ICTAI, pp.18-25, (2019)
integration of ai and or techniques in constraint programming, pp.374-390, (2019)
IJCAI, pp.1316-1323, (2018)
international joint conference on artificial intelligence, pp.179-194, (2018)
CP, pp.97-113, (2017)
Constraints, no. 3 (2016): 413-434
IJCAI, pp.705-711, (2016)
Christian Bessiere, Abderrazak Daoudi,Emmanuel Hebrard,George Katsirelos, Nadjib Lazaar, Younes Mechqrane,Nina Narodytska, Claude-Guy Quimper,Toby Walsh
Data Mining and Constraint Programming, pp.51-76, (2016)
CPAIOR, pp.35-44, (2016)
International Conference on Principles and Practice of Constraint Programming, (2015)
Computer Aided Verification, (2015)
IJCAI, pp.2568-2574, (2015)
Artificial Intelligence, (2014): 59-79
PRICAI, pp.795-808, (2014)
AAAI, pp.835-841, (2014)
CP, pp.174-189, (2014)
Artificial Intelligence, (2014): 20-42
View All