Segui
Dave Cohen
Dave Cohen
Professor of Computer Science, Royal Holloway, University of London
Email verificata su rhul.ac.uk
Titolo
Citata da
Citata da
Anno
Constraint processing
R Dechter
Morgan Kaufmann, 2003
28532003
Closure properties of constraints
P Jeavons, D Cohen, M Gyssens
Journal of the ACM (JACM) 44 (4), 527-548, 1997
6221997
Constraints, consistency and closure
P Jeavons, D Cohen, MC Cooper
Artificial Intelligence 101 (1-2), 251-265, 1998
2961998
Decomposing constraint satisfaction problems using database techniques
M Gyssens, PG Jeavons, DA Cohen
Artificial intelligence 66 (1), 57-89, 1994
2501994
Characterising tractable constraints
MC Cooper, DA Cohen, PG Jeavons
Artificial Intelligence 65 (2), 347-361, 1994
1981994
The complexity of soft constraint satisfaction
DA Cohen, MC Cooper, PG Jeavons, AA Krokhin
Artificial Intelligence 170 (11), 983-1016, 2006
1632006
Symmetry definitions for constraint satisfaction problems
D Cohen, P Jeavons, C Jefferson, KE Petrie, BM Smith
Constraints 11, 115-137, 2006
1242006
The complexity of constraint languages
D Cohen, P Jeavons
Foundations of Artificial Intelligence 2, 245-280, 2006
1242006
A unifying framework for tractable constraints
P Jeavons, D Cohen, M Gyssens
Principles and Practice of Constraint Programming—CP'95: First …, 1995
911995
Building tractable disjunctive constraints
D Cohen, P Jeavons, P Jonsson, M Koubarakis
Journal of the ACM (JACM) 47 (5), 826-853, 2000
902000
A unified theory of structural tractability for constraint satisfaction problems
D Cohen, P Jeavons, M Gyssens
Journal of Computer and System Sciences 74 (5), 721-743, 2008
852008
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
822005
Generating binary sequences for stochastic computing
P Jeavons, DA Cohen, J Shawe-Taylor
IEEE Transactions on Information Theory 40 (3), 716-720, 1994
821994
How to determine the expressive power of constraints
P Jeavons, D Cohen, M Gyssens
Constraints 4, 113-131, 1999
721999
Constraints and universal algebra
P Jeavons, D Cohen, J Pearson
Annals of Mathematics and Artificial Intelligence 24, 51-67, 1998
711998
On exact specification by examples
M Anthony, G Brightwell, D Cohen, J Shawe-Taylor
Proceedings of the fifth annual workshop on computational learning theory …, 1992
711992
Device for generating binary sequences for stochastic computing
M Van Daalen, P Jeavons, J Shawe-Taylor, D Cohen
ELECTRONICS LETTERS-IEE 29 (80-80), 22, 1993
671993
Generalising submodularity and Horn clauses: Tractable optimization problems defined by tournament pair multimorphisms
DA Cohen, MC Cooper, PG Jeavons
Theoretical Computer Science 401 (1-3), 36-51, 2008
662008
A maximal tractable class of soft constraints
D Cohen, M Cooper, P Jeavons, A Krokhin
Journal of Artificial Intelligence Research 22, 1-22, 2004
662004
An algebraic theory of complexity for discrete optimization
DA Cohen, MC Cooper, P Creed, PG Jeavons, S Zivny
SIAM Journal on Computing 42 (5), 1915-1939, 2013
652013
Il sistema al momento non puň eseguire l'operazione. Riprova piů tardi.
Articoli 1–20