George Katsirelos

85 papers A* 18A 19B 10Misc 1Journal 32Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Assignment Problems in Cost Function Networks. AAAI Guidio Sewa, David Allouche, Simon de Givry, George Katsirelos, Pierre Montalbano, Thomas Schiex
2025	A	`conf`	Core-Guided Linear Programming-Based Maximum Satisfiability. SAT George Katsirelos
2025	—	`conf`	Explaining Complex ML Models to Domain Experts Using LLM & Visualization: An Exploration in the French Breadmaking Industry. CHI Extended Abstracts Briggs Twitchell, George Katsirelos, Anastasia Bezerianos, Nadia Boukhelifa
2025	B	`conf`	Virtual Arc Consistency for Linear Constraints in Cost Function Networks. ICTAI Pierre Montalbano, Simon de Givry, George Katsirelos
2025	J	`jnl`	Virtual Arc Consistency for Linear Constraints in Cost Function Networks. CoRR Pierre Montalbano, Simon de Givry, George Katsirelos
2024	J	`jnl`	Corrigendum to "Learning constraints through partial queries" [Artificial Intelligence 319 (2023) 103896]. Artif. Intell. Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh
2023	A	`conf`	An Analysis of Core-Guided Maximum Satisfiability Solvers Using Linear Programming. SAT George Katsirelos
2023	J	`jnl`	Learning constraints through partial queries. Artif. Intell. Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh
2023	B	`conf`	Virtual Pairwise Consistency in Cost Function Networks. CPAIOR Pierre Montalbano, David Allouche, Simon de Givry, George Katsirelos, Tomás Werner
2022	A*	`conf`	Efficient Low Rank Convex Bounds for Pairwise Discrete Graphical Models. ICML Valentin Durante, George Katsirelos, Thomas Schiex
2022	J	`jnl`	Gene regulatory network inference methodology for genomic and transcriptomic data acquired in genetically related heterozygote individuals. Bioinform. Lise Pomiès, Céline Brouard, Harold Duruflé, Élise Maigné, Clément Carré, Louise Gody, Fulya Trösser, George Katsirelos, Brigitte Mangin, Nicolas B. Langlade, Simon de Givry
2022	Misc	`conf`	Learning the structure of Bayesian Networks using constraint programming. ISAIM Fulya Trösser, Simon de Givry, George Katsirelos
2022	B	`conf`	Multiple-choice Knapsack Constraint in Graphical Models. CPAIOR Pierre Montalbano, Simon de Givry, George Katsirelos
2022	A	`conf`	Parallel Hybrid Best-First Search. CP Abdelkader Beldjilali, Pierre Montalbano, David Allouche, George Katsirelos, Simon de Givry
2022	A	`conf`	Structured Set Variable Domains in Bayesian Network Structure Learning. CP Fulya Trösser, Simon de Givry, George Katsirelos
2021	J	`jnl`	Efficient semidefinite bounds for multi-label discrete graphical models. CoRR Valentin Durante, George Katsirelos, Thomas Schiex
2021	J	`jnl`	Guaranteed Diversity and Optimality in Cost Function Network Based Computational Protein Design Methods. Algorithms Manon Ruffini, Jelena Vucinic, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex
2021	A*	`conf`	Improved Acyclicity Reasoning for Bayesian Network Structure Learning with Constraint Programming. IJCAI Fulya Trösser, Simon de Givry, George Katsirelos
2021	J	`jnl`	Improved Acyclicity Reasoning for Bayesian Network Structure Learning with Constraint Programming. CoRR Fulya Trösser, Simon de Givry, George Katsirelos
2020	A*	`conf`	Chain Length and CSPs Learnable with Few Queries. AAAI Christian Bessiere, Clément Carbonnel, George Katsirelos
2020	J	`jnl`	Constraint and Satisfiability Reasoning for Graph Coloring. J. Artif. Intell. Res. Emmanuel Hebrard, George Katsirelos
2020	J	`jnl`	Partial Queries for Constraint Acquisition. CoRR Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh
2020	B	`conf`	Relaxation-Aware Heuristics for Exact Optimization in Graphical Models. CPAIOR Fulya Trösser, Simon de Givry, George Katsirelos
2019	B	`conf`	A Hybrid Approach for Exact Coloring of Massive Graphs. CPAIOR Emmanuel Hebrard, George Katsirelos
2019	A*	`conf`	Clause Learning and New Bounds for Graph Coloring. IJCAI Emmanuel Hebrard, George Katsirelos
2019	B	`conf`	Guaranteed Diversity & Quality for the Weighted CSP. ICTAI Manon Ruffini, Jelena Vucinic, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex
2018	A	`conf`	Clause Learning and New Bounds for Graph Coloring. CP Emmanuel Hebrard, George Katsirelos
2018	A*	`conf`	Conflict Directed Clause Learning for Maximum Weighted Clique Problem. IJCAI Emmanuel Hebrard, George Katsirelos
2017	A	`conf`	Clique Cuts in Weighted Constraint Satisfaction. CP Simon de Givry, George Katsirelos
2016	B	`conf`	Finding a Collection of MUSes Incrementally. CPAIOR Fahiem Bacchus, George Katsirelos
2016	J	`jnl`	Multi-language evaluation of exact solvers in graphical model discrete optimization. Constraints An Int. J. Barry Hurley, Barry O'Sullivan, David Allouche, George Katsirelos, Thomas Schiex, Matthias Zytnicki, Simon de Givry
2016	—	`ch.`	New Approaches to Constraint Acquisition. Data Mining and Constraint Programming Christian Bessiere, Abderrazak Daoudi, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Younes Mechqrane, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2016	A*	`conf`	Ranking Constraints. IJCAI Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Toby Walsh
2015	A	`conf`	Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP. CP David Allouche, Simon de Givry, George Katsirelos, Thomas Schiex, Matthias Zytnicki
2015	A*	`conf`	Reasoning about Connectivity Constraints. IJCAI Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Toby Walsh
2015	—	`conf`	Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets. CAV (2) Fahiem Bacchus, George Katsirelos
2014	J	`jnl`	Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules. Artif. Intell. Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh, Lirong Xia
2014	J	`jnl`	Computational protein design as an optimization problem. Artif. Intell. David Allouche, Isabelle André, Sophie Barbe, Jessica Davies, Simon de Givry, George Katsirelos, Barry O'Sullivan, Steven D. Prestwich, Thomas Schiex, Seydou Traoré
2014	B	`conf`	Reasoning about Constraint Models. PRICAI Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Nina Narodytska, Toby Walsh
2014	A*	`conf`	Relaxation Search: A Simple Way of Managing Optional Clauses. AAAI Fahiem Bacchus, Jessica Davies, Maria Tsimpoukelli, George Katsirelos
2014	A	`conf`	The Balance Constraint Family. CP Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Émilie Picard-Cantin, Claude-Guy Quimper, Toby Walsh
2014	J	`jnl`	The Complexity of Integer Bound Propagation. CoRR Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi
2013	J	`jnl`	A new framework for computational protein design through cost function network optimization. Bioinform. Seydou Traoré, David Allouche, Isabelle André, Simon de Givry, George Katsirelos, Thomas Schiex, Sophie Barbe
2013	A*	`conf`	Constraint Acquisition via Partial Queries. IJCAI Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2013	A*	`conf`	Detecting and Exploiting Subproblem Tractability. IJCAI Christian Bessiere, Clément Carbonnel, Emmanuel Hebrard, George Katsirelos, Toby Walsh
2013	A*	`conf`	Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers. AAAI George Katsirelos, Ashish Sabharwal, Horst Samulowitz, Laurent Simon
2012	A	`conf`	Computational Protein Design as a Cost Function Network Optimization Problem. CP David Allouche, Seydou Traoré, Isabelle André, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex
2012	A	`conf`	Eigenvector Centrality in Industrial SAT Instances. CP George Katsirelos, Laurent Simon
2012	A	`conf`	Learning Polynomials over GF(2) in a SAT Solver - (Poster Presentation). SAT George Katsirelos, Laurent Simon
2012	J	`jnl`	The SeqBin Constraint Revisited CoRR George Katsirelos, Nina Narodytska, Toby Walsh
2012	A	`conf`	The SeqBin Constraint Revisited. CP George Katsirelos, Nina Narodytska, Toby Walsh
2011	J	`jnl`	Complexity of and Algorithms for Borda Manipulation CoRR Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh
2011	A*	`conf`	Complexity of and Algorithms for Borda Manipulation. AAAI Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh
2011	J	`jnl`	The Complexity of Integer Bound Propagation. J. Artif. Intell. Res. Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi
2011	J	`jnl`	The weighted Grammar constraint. Ann. Oper. Res. George Katsirelos, Nina Narodytska, Toby Walsh
2010	A*	`conf`	A Restriction of Extended Resolution for Clause Learning SAT Solvers. AAAI Gilles Audemard, George Katsirelos, Laurent Simon
2010	J	`jnl`	An Empirical Study of Borda Manipulation CoRR Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh
2010	J	`jnl`	Decomposition of the NVALUE constraint CoRR Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2010	A	`conf`	Decomposition of the NValue Constraint. CP Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2010	J	`jnl`	On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry CoRR George Katsirelos, Nina Narodytska, Toby Walsh
2010	A	`conf`	On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. CP George Katsirelos, Nina Narodytska, Toby Walsh
2010	J	`jnl`	Propagating Conjunctions of AllDifferent Constraints CoRR Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2010	A*	`conf`	Propagating Conjunctions of AllDifferent Constraints. AAAI Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2010	J	`jnl`	Symmetries of Symmetry Breaking Constraints CoRR George Katsirelos, Toby Walsh
2010	A	`conf`	Symmetries of Symmetry Breaking Constraints. ECAI George Katsirelos, Toby Walsh
2009	J	`jnl`	Breaking Generator Symmetry CoRR George Katsirelos, Nina Narodytska, Toby Walsh
2009	J	`jnl`	Circuit Complexity and Decompositions of Global Constraints CoRR Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh
2009	A*	`conf`	Circuit Complexity and Decompositions of Global Constraints. IJCAI Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh
2009	J	`jnl`	Combining Symmetry Breaking and Global Constraints CoRR George Katsirelos, Nina Narodytska, Toby Walsh
2009	J	`jnl`	Decomposition of the NVALUE constraint CoRR Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2009	J	`jnl`	Decompositions of All Different, Global Cardinality and Related Constraints CoRR Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2009	A*	`conf`	Decompositions of All Different, Global Cardinality and Related Constraints. IJCAI Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2009	—	`—`	Nogood Processing in CSPs. George Katsirelos
2009	J	`jnl`	Reformulating Global Grammar Constraints CoRR George Katsirelos, Nina Narodytska, Toby Walsh
2009	B	`conf`	Reformulating Global Grammar Constraints. CPAIOR George Katsirelos, Nina Narodytska, Toby Walsh
2009	J	`jnl`	Restricted Global Grammar Constraints CoRR George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh
2009	A	`conf`	Restricted Global Grammar Constraints. CP George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh
2009	J	`jnl`	Symmetries of Symmetry Breaking Constraints CoRR George Katsirelos, Toby Walsh
2009	J	`jnl`	The Weighted CFG Constraint CoRR George Katsirelos, Nina Narodytska, Toby Walsh
2008	—	`conf`	Combining Symmetry Breaking and Global Constraints. CSCLP George Katsirelos, Nina Narodytska, Toby Walsh
2008	B	`conf`	The Weighted CfgConstraint. CPAIOR George Katsirelos, Nina Narodytska, Toby Walsh
2007	A	`conf`	A Compression Algorithm for Large Arity Extensional Constraints. CP George Katsirelos, Toby Walsh
2005	A*	`conf`	Generalized NoGoods in CSPs. AAAI George Katsirelos, Fahiem Bacchus
2003	A	`conf`	Unrestricted Nogood Recording in CSP Search. CP George Katsirelos, Fahiem Bacchus
2001	A	`conf`	GAC on Conjunctions of Constraints. CP George Katsirelos, Fahiem Bacchus