David A. Cohen

2008
44	EE	Martin J. Green, David A. Cohen: Domain permutation reduction for constraint satisfaction problems. Artif. Intell. 172(8-9): 1094-1118 (2008)
43	EE	Stanislav Zivný, David A. Cohen, Peter G. Jeavons: The Expressive Power of Binary Submodular Functions CoRR abs/0811.1885: (2008)
42	EE	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	EE	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	EE	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	EE	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	EE	David A. Cohen, Martin C. Cooper, Peter Jeavons: An Algebraic Characterisation of Complexity for Valued Constraint. CP 2006: 107-121
36	EE	David A. Cohen, Martin J. Green: Typed Guarded Decompositions for Constraint Satisfaction. CP 2006: 122-136
35	EE	Chris Houghton, David A. Cohen, Martin J. Green: The Effect of Constraint Representation on Structural Tractability. CP 2006: 726-730
34	EE	David A. Cohen, Marc Gyssens, Peter Jeavons: A Unifying Theory of Structural Decompostions for the Constraint Satisfaction Problems. Complexity of Constraints 2006
33	EE	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	EE	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	EE	David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith: Symmetry Definitions for Constraint Satisfaction Problems. CP 2005: 17-31
30	EE	Chris Houghton, David A. Cohen: Solution Equivalent Subquadrangle Reformulations of Constraint Satisfaction Problems. CP 2005: 851
29	EE	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	EE	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	EE	David A. Cohen, Martin C. Cooper, Peter Jeavons: A Complete Characterization of Complexity for Boolean Constraint Optimization Problems. CP 2004: 212-226
26	EE	David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: Identifying Efficiently Solvable Cases of Max CSP. STACS 2004: 152-163
25	EE	David A. Cohen: Tractable Decision for a Constraint Language Implies Tractable Search. Constraints 9(3): 219-229 (2004)
24	EE	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	EE	David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: Soft Constraints: Complexity and Multimorphisms. CP 2003: 244-258
22	EE	Martin J. Green, David A. Cohen: Tractability by Approximating Constraint Languages. CP 2003: 392-406
21	EE	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	EE	David A. Cohen, Peter Jeavons, Richard Gault: New Tractable Classes From Old. Constraints 8(3): 263-282 (2003)
2000
18	EE	David A. Cohen, Peter Jeavons, Richard Gault: New Tractable Classes from Old. CP 2000: 160-171
17	EE	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	EE	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	EE	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	EE	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	EE	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]
6	Marc Gyssens	[5] [8] [10] [11] [12] [16] [29] [34] [42]
7	Chris Houghton	[30] [35]
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]
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]

Colors in the list of coauthors