Katsirelos, George

19 publications

ICML 2022 Efficient Low Rank Convex Bounds for Pairwise Discrete Graphical Models Valentin Durante, George Katsirelos, Thomas Schiex

IJCAI 2021 Improved Acyclicity Reasoning for Bayesian Network Structure Learning with Constraint Programming Fulya Trösser, Simon de Givry, George Katsirelos

AAAI 2020 Chain Length and CSPs Learnable with Few Queries Christian Bessiere, Clément Carbonnel, George Katsirelos

JAIR 2020 Constraint and Satisfiability Reasoning for Graph Coloring Emmanuel Hebrard, George Katsirelos

IJCAI 2019 Clause Learning and New Bounds for Graph Coloring Emmanuel Hebrard, George Katsirelos

IJCAI 2018 Conflict Directed Clause Learning for Maximum Weighted Clique Problem Emmanuel Hebrard, George Katsirelos

IJCAI 2016 Ranking Constraints Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Toby Walsh

IJCAI 2015 Reasoning About Connectivity Constraints Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Toby Walsh

AAAI 2014 Relaxation Search: A Simple Way of Managing Optional Clauses Fahiem Bacchus, Jessica Davies, Maria Tsimpoukelli, George Katsirelos

IJCAI 2013 Constraint Acquisition via Partial Queries Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh

IJCAI 2013 Detecting and Exploiting Subproblem Tractability Christian Bessiere, Clément Carbonnel, Emmanuel Hebrard, George Katsirelos, Toby Walsh

AAAI 2013 Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers George Katsirelos, Ashish Sabharwal, Horst Samulowitz, Laurent Simon

AAAI 2011 Complexity of and Algorithms for Borda Manipulation Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh

JAIR 2011 The Complexity of Integer Bound Propagation Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi

AAAI 2010 A Restriction of Extended Resolution for Clause Learning SAT Solvers Gilles Audemard, George Katsirelos, Laurent Simon

AAAI 2010 Propagating Conjunctions of AllDifferent Constraints Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh

IJCAI 2009 Circuit Complexity and Decompositions of Global Constraints Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh

IJCAI 2009 Decompositions of All Different, Global Cardinality and Related Constraints Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh

AAAI 2005 Generalized NoGoods in CSPs George Katsirelos, Fahiem Bacchus