George Katsirelos

Cited by

	All	Since 2016
Citations	1402	707
h-index	21	17
i10-index	36	22

160

120

20042005200620072008200920102011201220132014201520162017201820192020202113 7 18 17 13 39 53 103 111 97 102 111 149 144 130 128 136 20

Public access

View all

7 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Toby WalshProfessor, UNSW and Data61Verified email at cse.unsw.edu.au
Nina NarodytskaVMware ResearchVerified email at vmware.com
Thomas SchiexINRA, Toulouse, FranceVerified email at inra.fr
christian bessiereCNRSVerified email at lirmm.fr
Emmanuel HebrardLAAS-CNRSVerified email at laas.fr
Fahiem BacchusProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
Claude-Guy QuimperUniversité LavalVerified email at ift.ulaval.ca
Laurent SimonProfessor of Computer Science, Bordeaux University, France (since 2013)Verified email at labri.fr
Isabelle ANDREResearch Director at CNRS - Toulouse Biotechnology Institute ( formerly LISBP)Verified email at insa-toulouse.fr
Barry O'SullivanSchool of Computer Science & IT, University College Cork, IrelandVerified email at cs.ucc.ie
Nadjib LazaarMaître de conférence, LIRMM-CNRS, Université de Montpellier 2Verified email at lirmm.fr
Barry HurleyUniversity College CorkVerified email at 4c.ucc.ie
Gilles AudemardProfessor of Computer Science, CRIL, Université d'ArtoisVerified email at cril.fr
remi colettaMaitre de Conférences, LIRMM - Université Montpellier 2Verified email at lirmm.fr
Ashish SabharwalAllen Institute for AI (AI2)Verified email at allenai.org
Horst SamulowitzIBM ResearchVerified email at us.ibm.com
Clément CarbonnelCNRS - LIRMMVerified email at lirmm.fr
Steven PrestwichLecturer in Computer Science, University College Cork, IrelandVerified email at cs.ucc.ie
Lirong XiaAssociate Professor, Rensselaer Polytechnic Institute (RPI)Verified email at cs.rpi.edu
Pedro BarahonaProfessor of Computer Science, New University of LisbonVerified email at fct.unl.pt

George Katsirelos

INRAE

Verified email at inrae.fr - Homepage

Artificial Intelligence Constraint Satisfaction Boolean Satisfiability Combinatorial Optimization


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Generalized nogoods in CSPs G Katsirelos, F Bacchus PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 20 (1), 390, 2005	129	2005
Complexity of and algorithms for Borda manipulation J Davies, G Katsirelos, N Narodytska, T Walsh Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 2011	92	2011
A compression algorithm for large arity extensional constraints G Katsirelos, T Walsh Principles and Practice of Constraint Programming–CP 2007, 379-393, 2007	87	2007
Circuit complexity and decompositions of global constraints C Bessiere, G Katsirelos, N Narodytska, T Walsh 21st Int. Joint Conf. on AI, 2009	72	2009
A restriction of extended resolution for clause learning SAT solvers G Audemard, G Katsirelos, L Simon Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI), 2010	67	2010
Computational protein design as an optimization problem D Allouche, I André, S Barbe, J Davies, S de Givry, G Katsirelos, ... Artificial Intelligence 212, 59-79, 2014	66	2014
A new framework for computational protein design through cost function network optimization S Traoré, D Allouche, I André, S De Givry, G Katsirelos, T Schiex, S Barbe Bioinformatics 29 (17), 2129-2136, 2013	65	2013
Unrestricted nogood recording in CSP search G Katsirelos, F Bacchus International Conference on Principles and Practice of Constraint …, 2003	63	2003
Constraint acquisition via partial queries C Bessiere, R Coletta, E Hebrard, G Katsirelos, N Lazaar, N Narodytska, ... IJCAI: International Joint Conference on Artificial Intelligence, 475-481, 2013	60	2013
Multi-language evaluation of exact solvers in graphical model discrete optimization B Hurley, B O’Sullivan, D Allouche, G Katsirelos, T Schiex, M Zytnicki, ... Constraints 21 (3), 413-434, 2016	51	2016
Decompositions of all different, global cardinality and related constraints C Bessiere, G Katsirelos, N Narodytska, CG Quimper, T Walsh 21st Int. Joint Conf. on AI, 2009	46	2009
Anytime hybrid best-first search with tree decomposition for weighted CSP D Allouche, S De Givry, G Katsirelos, T Schiex, M Zytnicki International Conference on Principles and Practice of Constraint …, 2015	41	2015
Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers G Katsirelos, A Sabharwal, H Samulowitz, L Simon	41	2013
Relaxation search: A simple way of managing optional clauses F Bacchus, J Davies, M Tsimpoukelli, G Katsirelos Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014	37	2014
Nogood processing in CSPs G Katsirelos University of Toronto, 2008	36	2008
On the complexity and completeness of static constraints for breaking row and column symmetry G Katsirelos, N Narodytska, T Walsh Principles and Practice of Constraint Programming–CP 2010, 305-320, 2010	30	2010
Decomposition of the NValue Constraint C Bessiere, G Katsirelos, N Narodytska, CG Quimper, T Walsh International Conference on Principles and Practice of Constraint …, 2010	28	2010
Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules J Davies, G Katsirelos, N Narodytska, T Walsh, L Xia Artificial Intelligence 217, 20-42, 2014	27	2014
Eigenvector centrality in industrial SAT instances G Katsirelos, L Simon International Conference on Principles and Practice of Constraint …, 2012	27	2012
Using minimal correction sets to more efficiently compute minimal unsatisfiable sets F Bacchus, G Katsirelos International Conference on Computer Aided Verification, 70-86, 2015	25	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors