Παρακολούθηση
Christopher Jefferson
Christopher Jefferson
University of St Andrews
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα st-andrews.ac.uk
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Minion: A fast scalable constraint solver
IP Gent, C Jefferson, I Miguel
ECAI 141, 98-102, 2006
3682006
Essence: A constraint language for specifying combinatorial problems
AM Frisch, W Harvey, C Jefferson, B Martínez-Hernández, I Miguel
Constraints 13, 268-306, 2008
2262008
Efficient methods for conversion and solution of sparse systems of low-degree multivariate polynomials over GF (2) via SAT-solvers
GV Bard, NT Courtois, C Jefferson
Cryptology ePrint Archive, 2007
1892007
The essence of essence
AM Frisch, M Grum, C Jefferson, BM Hernández, I Miguel
Modelling and Reformulating Constraint Satisfaction Problems 73, 2005
1492005
Symmetry definitions for constraint satisfaction problems
D Cohen, P Jeavons, C Jefferson, KE Petrie, BM Smith
Constraints 11 (2-3), 115-137, 2006
1272006
The rules of constraint modelling
AM Frisch, C Jefferson, BM Hernández, I Miguel
IJCAI, 109-116, 2005
1142005
Data structures for generalised arc consistency for extensional constraints
IP Gent, C Jefferson, I Miguel, P Nightingale
AAAI 7, 191-197, 2007
1112007
Watched literals for constraint propagation in minion
IP Gent, C Jefferson, I Miguel
International Conference on Principles and Practice of Constraint …, 2006
932006
Symmetry definitions for constraint satisfaction problems
D Cohen, P Jeavons, C Jefferson, KE Petrie, BM Smith
Principles and Practice of Constraint Programming-CP 2005: 11th …, 2005
862005
Automatically improving constraint models in Savile Row
P Nightingale, Ö Akgün, IP Gent, C Jefferson, I Miguel, P Spracklen
Artificial Intelligence 251, 35-61, 2017
842017
Complexity of n-queens completion
IP Gent, C Jefferson, P Nightingale
Journal of Artificial Intelligence Research 59, 815-848, 2017
662017
Modelling and solving english peg solitaire
C Jefferson, A Miguel, I Miguel, SA Tarim
Computers & Operations Research 33 (10), 2935-2959, 2006
622006
Learning when to use lazy learning in constraint solving
IP Gent, C Jefferson, L Kotthoff, I Miguel, NCA Moore, P Nightingale, ...
ECAI 2010, 873-878, 2010
542010
Automatically improving constraint models in Savile Row through associative-commutative common subexpression elimination
P Nightingale, Ö Akgün, IP Gent, C Jefferson, I Miguel
Principles and Practice of Constraint Programming: 20th International …, 2014
462014
Extensible automated constraint modelling
O Akgun, I Miguel, C Jefferson, A Frisch, B Hnich
Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 4-11, 2011
452011
Constraints for breaking more row and column symmetries
AM Frisch, C Jefferson, I Miguel
International Conference on Principles and Practice of Constraint …, 2003
452003
A preliminary review of literature on parallel constraint solving
IP Gent, C Jefferson, I Miguel, NCA Moore, P Nightingale, P Prosser, ...
Proceedings PMCS 2011 Workshop on Parallel Methods for Constraint Solving …, 2011
442011
Symmetry breaking as a prelude to implied constraints: A constraint modelling pattern
AM Frisch, C Jefferson, I Miguel
ECAI 16, 171, 2004
442004
Implementing logical connectives in constraint programming
C Jefferson, NCA Moore, P Nightingale, KE Petrie
Artificial Intelligence 174 (16-17), 1407-1429, 2010
412010
Automated Symmetry Breaking and Model Selection in Conjure
O Akgun, AM Frisch, IP Gent, BS Hussain, C Jefferson, L Kotthoff, I Miguel, ...
Principles and Practice of Constraint Programming: 19th International …, 2013
402013
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20