[go: up one dir, main page]

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
Elsevier, 2003
30142003
Closure properties of constraints
P Jeavons, D Cohen, M Gyssens
Journal of the ACM (JACM) 44 (4), 527-548, 1997
6671997
Constraints, consistency and closure
P Jeavons, D Cohen, MC Cooper
Artificial Intelligence 101 (1-2), 251-265, 1998
3101998
Decomposing constraint satisfaction problems using database techniques
M Gyssens, PG Jeavons, DA Cohen
Artificial intelligence 66 (1), 57-89, 1994
2591994
Characterising tractable constraints
MC Cooper, DA Cohen, PG Jeavons
Artificial Intelligence 65 (2), 347-361, 1994
2071994
The complexity of soft constraint satisfaction
DA Cohen, MC Cooper, PG Jeavons, AA Krokhin
Artificial Intelligence 170 (11), 983-1016, 2006
1672006
Long steel rail: The railroad in American folksong
N Cohen, D Cohen
(No Title), 1981
1491981
Symmetry definitions for constraint satisfaction problems
D Cohen, P Jeavons, C Jefferson, KE Petrie, BM Smith
Constraints 11 (2), 115-137, 2006
1362006
The complexity of constraint languages
D Cohen, P Jeavons
Foundations of Artificial Intelligence 2, 245-280, 2006
1292006
A unifying framework for tractable constraints
P Jeavons, D Cohen, M Gyssens
International Conference on Principles and Practice of Constraint …, 1995
951995
Building tractable disjunctive constraints
D Cohen, P Jeavons, P Jonsson, M Koubarakis
Journal of the ACM (JACM) 47 (5), 826-853, 2000
922000
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
902008
Symmetry definitions for constraint satisfaction problems
D Cohen, P Jeavons, C Jefferson, KE Petrie, BM Smith
International Conference on Principles and Practice of Constraint …, 2005
882005
Generating binary sequences for stochastic computing
P Jeavons, DA Cohen, J Shawe-Taylor
IEEE Transactions on Information Theory 40 (3), 716-720, 2002
842002
How to determine the expressive power of constraints
P Jeavons, D Cohen, M Gyssens
Constraints 4 (2), 113-131, 1999
791999
External malware data item clustering and analysis
D Cohen, J Ma, BJ Fu, I Nepomnyashchiy, S Berler, A Smaliy, J Grossman, ...
US Patent 9,965,937, 2018
722018
Device for generating binary sequences for stochastic computing
M Van Daalen, P Jeavons, J Shawe-Taylor, D Cohen
Electronics Letters 29 (1), 80-81, 1993
721993
Constraints and universal algebra
P Jeavons, D Cohen, J Pearson
Annals of Mathematics and Artificial Intelligence 24 (1), 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
The expressive power of binary submodular functions
S Živný, DA Cohen, PG Jeavons
Discrete Applied Mathematics 157 (15), 3347-3358, 2009
702009
The system can't perform the operation now. Try again later.
Articles 1–20