Ikuti
George Katsirelos
Judul
Dikutip oleh
Dikutip oleh
Tahun
Generalized nogoods in CSPs
G Katsirelos, F Bacchus
PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 20 (1), 390, 2005
1492005
Constraint Acquisition via Partial Queries.
C Bessiere, R Coletta, E Hebrard, G Katsirelos, N Lazaar, N Narodytska, ...
IJCAI 13, 475-481, 2013
1142013
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), 657-662, 2011
1042011
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
1022014
A compression algorithm for large arity extensional constraints
G Katsirelos, T Walsh
Principles and Practice of Constraint Programming–CP 2007, 379-393, 2007
1012007
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, 413-434, 2016
872016
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
862013
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
862010
Circuit complexity and decompositions of global constraints
C Bessiere, G Katsirelos, N Narodytska, T Walsh
21st Int. Joint Conf. on AI, 2009
852009
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
682015
Unrestricted nogood recording in CSP search
G Katsirelos, F Bacchus
International Conference on Principles and Practice of Constraint …, 2003
662003
Using minimal correction sets to more efficiently compute minimal unsatisfiable sets
F Bacchus, G Katsirelos
International Conference on Computer Aided Verification, 70-86, 2015
532015
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
532009
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
522014
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
512014
Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers
G Katsirelos, A Sabharwal, H Samulowitz, L Simon
482013
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
412010
Nogood processing in CSPs
G Katsirelos
University of Toronto, 2008
392008
Eigenvector centrality in industrial SAT instances
G Katsirelos, L Simon
International Conference on Principles and Practice of Constraint …, 2012
372012
New approaches to constraint acquisition
C Bessiere, A Daoudi, E Hebrard, G Katsirelos, N Lazaar, Y Mechqrane, ...
Data Mining and Constraint Programming: Foundations of a Cross-Disciplinary …, 2016
352016
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–20