David A. Cohen
Orcid: 0000-0001-7318-8567Affiliations:
- Royal Holloway, University of London, UK
According to our database1,
David A. Cohen
authored at least 71 papers
between 1988 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
9
1
2
2
3
1
1
1
2
2
1
1
1
4
2
1
2
1
1
1
2
1
3
1
1
1
1
1
1
3
1
2
2
1
5
2
3
3
1
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2020
Oper. Res. Lett., 2020
Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search.
J. Artif. Intell. Res., 2020
Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2020
2019
Inf. Comput., 2019
Algorithmica, 2019
2018
Proceedings of the Principles and Practice of Constraint Programming, 2018
2017
SIAM J. Discret. Math., 2017
CoRR, 2017
2016
Algorithms for the workflow satisfiability problem engineered for counting constraints.
J. Comb. Optim., 2016
Proceedings of the Ninth Annual Symposium on Combinatorial Search, 2016
2015
Variable and value elimination in binary constraint satisfaction via forbidden patterns.
J. Comput. Syst. Sci., 2015
Proceedings of the Medical Image Computing and Computer-Assisted Intervention - MICCAI 2015, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
J. Artif. Intell. Res., 2014
Engineering Algorithms for Workflow Satisfiability Problem with User-Independent Constraints.
Proceedings of the Frontiers in Algorithmics - 8th International Workshop, 2014
2013
Proceedings of the IJCAI 2013, 2013
Proceedings of the Principles and Practice of Constraint Programming, 2013
2012
J. Artif. Intell. Res., 2012
2011
An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection.
Proceedings of the Mathematical Foundations of Computer Science 2011, 2011
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011
2010
Int. J. Manuf. Technol. Manag., 2010
2009
Proceedings of the Principles and Practice of Constraint Programming, 2009
2008
Theor. Comput. Sci., 2008
Generalising submodularity and horn clauses: Tractable optimization problems defined by tournament pair multimorphisms.
Theor. Comput. Sci., 2008
J. Comput. Syst. Sci., 2008
Artif. Intell., 2008
2006
Proceedings of the Handbook of Constraint Programming, 2006
Constraints An Int. J., 2006
A Unifying Theory of Structural Decompostions for the Constraint Satisfaction Problems.
Proceedings of the Complexity of Constraints, 01.10. - 06.10.2006, 2006
Proceedings of the Principles and Practice of Constraint Programming, 2006
Proceedings of the Principles and Practice of Constraint Programming, 2006
Proceedings of the Principles and Practice of Constraint Programming, 2006
2005
A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Solution Equivalent Subquadrangle Reformulations of Constraint Satisfaction Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2005
2004
Constraints An Int. J., 2004
Proceedings of the STACS 2004, 2004
A Complete Characterization of Complexity for Boolean Constraint Optimization Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2004
EA-lect: an evolutionary algorithm for constructing logical rules to predict election into Cooperstown.
Proceedings of the IEEE Congress on Evolutionary Computation, 2004
2003
Proceedings of the Principles and Practice of Constraint Programming, 2003
Proceedings of the Principles and Practice of Constraint Programming, 2003
Proceedings of the Principles and Practice of Constraint Programming, 2003
2000
1999
1998
1997
Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997
1996
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996
1995
Proceedings of the Principles and Practice of Constraint Programming, 1995
Proceedings of the Computing and Combinatorics, First Annual International Conference, 1995
1994
Artif. Intell., 1994
Proceedings of the Principles and Practice of Constraint Programming, 1994
1992
Proceedings of the Fifth Annual ACM Conference on Computational Learning Theory, 1992
1990
1988