David A. Cohen

	2009
46		David A. Cohen, Martin J. Green, Chris Houghton: Constraint Representations and Structural Tractability. CP 2009: 289-303
45		Stanislav Zivný, David A. Cohen, Peter G. Jeavons: The Expressive Power of Binary Submodular Functions. MFCS 2009: 744-757
	2008
44		Martin J. Green, David A. Cohen: Domain permutation reduction for constraint satisfaction problems. Artif. Intell. 172(8-9): 1094-1118 (2008)
43		Stanislav Zivný, David A. Cohen, Peter G. Jeavons: The Expressive Power of Binary Submodular Functions CoRR abs/0811.1885: (2008)
42		David A. Cohen, Peter Jeavons, Marc Gyssens: A unified theory of structural tractability for constraint satisfaction problems. J. Comput. Syst. Sci. 74(5): 721-743 (2008)
41		David A. Cohen, Martin C. Cooper, Peter Jeavons: Generalising submodularity and horn clauses: Tractable optimization problems defined by tournament pair multimorphisms. Theor. Comput. Sci. 401(1-3): 36-51 (2008)
40		David A. Cohen, Peter G. Jeavons, Stanislav Zivný: The expressive power of valued constraints: Hierarchies and collapses. Theor. Comput. Sci. 409(1): 137-153 (2008)
	2007
39		David A. Cohen, Peter Jeavons, Stanislav Zivný: The Expressive Power of Valued Constraints: Hierarchies and Collapses. CP 2007: 798-805
	2006
38		David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith: Constraint Symmetry and Solution Symmetry. AAAI 2006
37		David A. Cohen, Martin C. Cooper, Peter Jeavons: An Algebraic Characterisation of Complexity for Valued Constraint. CP 2006: 107-121
36		David A. Cohen, Martin J. Green: Typed Guarded Decompositions for Constraint Satisfaction. CP 2006: 122-136
35		Chris Houghton, David A. Cohen, Martin J. Green: The Effect of Constraint Representation on Structural Tractability. CP 2006: 726-730
34		David A. Cohen, Marc Gyssens, Peter Jeavons: A Unifying Theory of Structural Decompostions for the Constraint Satisfaction Problems. Complexity of Constraints 2006
33		David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: The complexity of soft constraint satisfaction. Artif. Intell. 170(11): 983-1016 (2006)
32		David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith: Symmetry Definitions for Constraint Satisfaction Problems. Constraints 11(2-3): 115-137 (2006)
	2005
31		David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith: Symmetry Definitions for Constraint Satisfaction Problems. CP 2005: 17-31
30		Chris Houghton, David A. Cohen: Solution Equivalent Subquadrangle Reformulations of Constraint Satisfaction Problems. CP 2005: 851
29		David A. Cohen, Peter Jeavons, Marc Gyssens: A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition. IJCAI 2005: 72-77
28		David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: Supermodular functions and the complexity of MAX CSP. Discrete Applied Mathematics 149(1-3): 53-72 (2005)
	2004
27		David A. Cohen, Martin C. Cooper, Peter Jeavons: A Complete Characterization of Complexity for Boolean Constraint Optimization Problems. CP 2004: 212-226
26		David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: Identifying Efficiently Solvable Cases of Max CSP. STACS 2004: 152-163
25		David A. Cohen: Tractable Decision for a Constraint Language Implies Tractable Search. Constraints 9(3): 219-229 (2004)
24		David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: A Maximal Tractable Class of Soft Constraints. J. Artif. Intell. Res. (JAIR) 22: 1-22 (2004)
	2003
23		David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: Soft Constraints: Complexity and Multimorphisms. CP 2003: 244-258
22		Martin J. Green, David A. Cohen: Tractability by Approximating Constraint Languages. CP 2003: 392-406
21		David A. Cohen: A New Classs of Binary CSPs for which Arc-Constistency Is a Decision Procedure. CP 2003: 807-811
20		David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: A Maximal Tractable Class of Soft Constraints. IJCAI 2003: 209-214
19		David A. Cohen, Peter Jeavons, Richard Gault: New Tractable Classes From Old. Constraints 8(3): 263-282 (2003)
	2000
18		David A. Cohen, Peter Jeavons, Richard Gault: New Tractable Classes from Old. CP 2000: 160-171
17		David A. Cohen, Peter Jeavons, Peter Jonsson, Manolis Koubarakis: Building tractable disjunctive constraints. J. ACM 47(5): 826-853 (2000)
	1999
16		Peter Jeavons, David A. Cohen, Marc Gyssens: How to Determine the Expressive Power of Constraints. Constraints 4(2): 113-131 (1999)
	1998
15		Peter Jeavons, David A. Cohen, Justin Pearson: Constraints and Universal Algebra. Ann. Math. Artif. Intell. 24(1-4): 51-67 (1998)
14		Peter Jeavons, David A. Cohen, Martin C. Cooper: Constraints, Consistency and Closure. Artif. Intell. 101(1-2): 251-265 (1998)
	1997
13		David A. Cohen, Peter Jeavons, Manolis Koubarakis: Tractable Disjunctive Constraints. CP 1997: 478-490
12		Peter Jeavons, David A. Cohen, Marc Gyssens: Closure properties of constraints. J. ACM 44(4): 527-548 (1997)
	1996
11		David A. Cohen, Marc Gyssens, Peter Jeavons: Derivation of Constraints and Database Relations. CP 1996: 134-148
10		Peter Jeavons, David A. Cohen, Marc Gyssens: A test for Tractability. CP 1996: 267-281
	1995
9		Peter Jeavons, David A. Cohen: An Algebraic Characterization of Tractable Constraints. COCOON 1995: 633-642
8		Peter Jeavons, David A. Cohen, Marc Gyssens: A Unifying Framework for Tractable Constraints. CP 1995: 276-291
	1994
7		Peter Jeavons, David A. Cohen, Martin C. Cooper: A Substitution Operation for Constraints. PPCP 1994: 1-9
6		Martin C. Cooper, David A. Cohen, Peter Jeavons: Characterising Tractable Constraints. Artif. Intell. 65(2): 347-361 (1994)
5		Marc Gyssens, Peter Jeavons, David A. Cohen: Decomposing Constraint Satisfaction Problems Using Database Techniques. Artif. Intell. 66(1): 57-89 (1994)
4		Peter Jeavons, David A. Cohen, John Shawe-Taylor: Generating binary sequences for stochastic computing. IEEE Transactions on Information Theory 40(3): 716-720 (1994)
	1992
3		Martin Anthony, Graham Brightwell, David A. Cohen, John Shawe-Taylor: On Exact Specification by Examples. COLT 1992: 311-318
2		David A. Cohen, Elizabeth A. Scott: Rationality of Division Orderings. Inf. Process. Lett. 44(6): 307-311 (1992)
	1990
1		John Shawe-Taylor, David A. Cohen: Linear programming algorithm for neural networks. Neural Networks 3(5): 575-582 (1990)

Coauthor Index

1	Martin Anthony	[3]
2	Graham Brightwell	[3]
3	Martin C. Cooper	[6] [7] [14] [20] [23] [24] [26] [27] [28] [33] [37] [41]
4	Richard Gault	[18] [19]
5	Martin J. Green	[22] [35] [36] [44] [46]
6	Marc Gyssens	[5] [8] [10] [11] [12] [16] [29] [34] [42]
7	Chris Houghton	[30] [35] [46]
8	Peter Jeavons (Peter G. Jeavons)	[4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [23] [24] [26] [27] [28] [29] [31] [32] [33] [34] [37] [38] [39] [40] [41] [42] [43] [45]
9	Christopher Jefferson	[31] [32] [38]
10	Peter Jonsson	[17]
11	Manolis Koubarakis	[13] [17]
12	Andrei A. Krokhin	[20] [23] [24] [26] [28] [33]
13	Justin Pearson	[15]
14	Karen E. Petrie	[31] [32] [38]
15	Elizabeth A. Scott	[2]
16	John Shawe-Taylor	[1] [3] [4]
17	Barbara M. Smith	[31] [32] [38]
18	Stanislav Zivný	[39] [40] [43] [45]

Colors in the list of coauthors