Follow
Dave Cohen
Dave Cohen
Professor of Computer Science, Royal Holloway, University of London
Verified email at rhul.ac.uk
Title
Cited by
Cited by
Year
Constraint processing
R Dechter
Morgan Kaufmann, 2003
29002003
Closure properties of constraints
P Jeavons, D Cohen, M Gyssens
Journal of the ACM (JACM) 44 (4), 527-548, 1997
6361997
Constraints, consistency and closure
P Jeavons, D Cohen, MC Cooper
Artificial Intelligence 101 (1-2), 251-265, 1998
3011998
Decomposing constraint satisfaction problems using database techniques
M Gyssens, PG Jeavons, DA Cohen
Artificial intelligence 66 (1), 57-89, 1994
2541994
Characterising tractable constraints
MC Cooper, DA Cohen, PG Jeavons
Artificial Intelligence 65 (2), 347-361, 1994
1971994
The complexity of soft constraint satisfaction
DA Cohen, MC Cooper, PG Jeavons, AA Krokhin
Artificial Intelligence 170 (11), 983-1016, 2006
1652006
Symmetry definitions for constraint satisfaction problems
D Cohen, P Jeavons, C Jefferson, KE Petrie, BM Smith
Constraints 11, 115-137, 2006
1282006
The complexity of constraint languages
D Cohen, P Jeavons
Foundations of Artificial Intelligence 2, 245-280, 2006
1252006
Building tractable disjunctive constraints
D Cohen, P Jeavons, P Jonsson, M Koubarakis
Journal of the ACM (JACM) 47 (5), 826-853, 2000
912000
A unifying framework for tractable constraints
P Jeavons, D Cohen, M Gyssens
Principles and Practice of Constraint Programming—CP'95: First …, 1995
901995
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
892008
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
872005
Generating binary sequences for stochastic computing
P Jeavons, DA Cohen, J Shawe-Taylor
IEEE Transactions on Information Theory 40 (3), 716-720, 1994
841994
How to determine the expressive power of constraints
P Jeavons, D Cohen, M Gyssens
Constraints 4, 113-131, 1999
741999
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
731993
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
731992
Constraints and universal algebra
P Jeavons, D Cohen, J Pearson
Annals of Mathematics and Artificial Intelligence 24, 51-67, 1998
711998
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
682008
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
672013
The expressive power of binary submodular functions
S Živný, DA Cohen, PG Jeavons
Discrete Applied Mathematics 157 (15), 3347-3358, 2009
672009
The system can't perform the operation now. Try again later.
Articles 1–20