Dave Cohen

Cited by

	All	Since 2019
Citations	9104	1947
h-index	42	20
i10-index	123	54

480

240

120

360

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202472 67 60 65 85 115 96 59 73 197 184 322 404 400 463 412 402 402 414 400 393 361 411 461 374 342 360 315 341 355 231

Public access

View all

29 articles

1 article

available

not available

Based on funding mandates

Co-authors

Peter JeavonsProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Martin CooperProfessor of Computer Science, IRIT, University of ToulouseVerified email at irit.fr
Stanislav ŽivnýProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Andrei KrokhinProfessor of Computer Science, Durham University, UKVerified email at durham.ac.uk
John Shawe-TaylorUCLVerified email at cs.ucl.ac.uk
Rina DechterUniversity of California, IrvineVerified email at ics.uci.edu
Karen PetrieLecturer, University of DundeeVerified email at computing.dundee.ac.uk
Christopher JeffersonUniversity of St AndrewsVerified email at st-andrews.ac.uk
G. GutinProfessor of Computer Science, Royal Holloway, University of LondonVerified email at rhul.ac.uk
Jason CramptonProfessor of Information Security, Royal Holloway, University of LondonVerified email at rhul.ac.uk
Páidí CreedbiomodalVerified email at biomodal.com
Joe BaterSchool of Civil and Building Engineering, Loughborough UniversityVerified email at lboro.ac.uk
Manolis KoubarakisProfessor, Dept. of Informatics and Telecommunications, National and Kapodistrian University ofVerified email at di.uoa.gr
Dániel MarxCISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Peter JonssonProfessor in Computer Science, Linköping UniversityVerified email at liu.se
Justin PearsonIT Department, Uppsala University, SwedenVerified email at it.uu.se
András SalamonUniversity of St AndrewsVerified email at st-andrews.ac.uk
Evgenij ThorstensenUniversity of OsloVerified email at ifi.uio.no
Ursula MartinUniversity of Edinburgh; University of OxfordVerified email at maths.ox.ac.uk

Dave Cohen

Professor of Computer Science, Royal Holloway, University of London

Verified email at rhul.ac.uk

Algorithms Constraints Complexity


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Constraint processing R Dechter Morgan Kaufmann, 2003	2882	2003
Closure properties of constraints P Jeavons, D Cohen, M Gyssens Journal of the ACM (JACM) 44 (4), 527-548, 1997	633	1997
Constraints, consistency and closure P Jeavons, D Cohen, MC Cooper Artificial Intelligence 101 (1-2), 251-265, 1998	300	1998
Decomposing constraint satisfaction problems using database techniques M Gyssens, PG Jeavons, DA Cohen Artificial intelligence 66 (1), 57-89, 1994	252	1994
Characterising tractable constraints MC Cooper, DA Cohen, PG Jeavons Artificial Intelligence 65 (2), 347-361, 1994	197	1994
The complexity of soft constraint satisfaction DA Cohen, MC Cooper, PG Jeavons, AA Krokhin Artificial Intelligence 170 (11), 983-1016, 2006	165	2006
Symmetry definitions for constraint satisfaction problems D Cohen, P Jeavons, C Jefferson, KE Petrie, BM Smith Constraints 11, 115-137, 2006	127	2006
The complexity of constraint languages D Cohen, P Jeavons Foundations of Artificial Intelligence 2, 245-280, 2006	125	2006
Building tractable disjunctive constraints D Cohen, P Jeavons, P Jonsson, M Koubarakis Journal of the ACM (JACM) 47 (5), 826-853, 2000	91	2000
A unifying framework for tractable constraints P Jeavons, D Cohen, M Gyssens Principles and Practice of Constraint Programming—CP'95: First …, 1995	90	1995
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	89	2008
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	86	2005
Generating binary sequences for stochastic computing P Jeavons, DA Cohen, J Shawe-Taylor IEEE Transactions on Information Theory 40 (3), 716-720, 1994	84	1994
How to determine the expressive power of constraints P Jeavons, D Cohen, M Gyssens Constraints 4, 113-131, 1999	74	1999
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	72	1993
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	72	1992
Constraints and universal algebra P Jeavons, D Cohen, J Pearson Annals of Mathematics and Artificial Intelligence 24, 51-67, 1998	71	1998
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	68	2008
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	67	2013
The expressive power of binary submodular functions S Živný, DA Cohen, PG Jeavons Discrete Applied Mathematics 157 (15), 3347-3358, 2009	67	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors