Martin C. Cooper

Martin C. Cooper, Frederic Maris, Pierre Régnier: Managing Temporal cycles in Planning Problems Requiring Concurrency. Computational Intelligence 29(1): 111-128 (2013)

Martin C. Cooper, Stanislav Zivny: Tractable Triangles and Cross-Free Convexity in Discrete Optimisation. J. Artif. Intell. Res. (JAIR) 44: 455-490 (2012)

David A. Cohen, Martin C. Cooper, Páidí Creed, Dániel Marx, András Z. Salamon: The Tractability of CSP Classes Defined by Forbidden Patterns. J. Artif. Intell. Res. (JAIR) 45: 47-78 (2012)

Martin C. Cooper, Guillaume Escamocher: A Dichotomy for 2-Constraint Forbidden CSP Patterns. AAAI 2012

Martin C. Cooper, Frederic Maris, Pierre Régnier: Tractable Monotone Temporal Planning. ICAPS 2012

Martin C. Cooper, Guillaume Escamocher, Stanislav Zivny: A Characterisation of the Complexity of Forbidding Subproblems in Binary Max-CSP. CP 2012: 265-273

Martin C. Cooper, Guillaume Escamocher: A Dichotomy for 2-Constraint Forbidden CSP Patterns. CoRR abs/1201.3868 (2012)

David A. Cohen, Martin C. Cooper, Páidí Creed, Peter G. Jeavons, Stanislav Zivny: An Algebraic Theory of Complexity for Discrete Optimisation. CoRR abs/1207.6692 (2012)

Martin C. Cooper, Stanislav Zivny: Hybrid tractability of valued constraint problems. Artif. Intell. 175(9-10): 1555-1569 (2011)

Martin C. Cooper, Marie de Roquemaurel, Pierre Régnier: A weighted CSP approach to cost-optimal planning. AI Commun. 24(1): 1-29 (2011)

Martin C. Cooper, Marie de Roquemaurel, Pierre Régnier: Transformation of optimal planning problems. J. Exp. Theor. Artif. Intell. 23(2): 181-199 (2011)

David A. Cohen, Martin C. Cooper, Martin J. Green, Dániel Marx: On Guaranteeing Polynomially Bounded Search Tree Size. CP 2011: 160-171

Martin C. Cooper, Stanislav Zivny: Hierarchically Nested Convex VCSP. CP 2011: 187-194

Martin C. Cooper, Stanislav Zivny: Tractable Triangles. CP 2011: 195-209

David A. Cohen, Martin C. Cooper, Páidí Creed, András Z. Salamon: The tractability of CSP classes defined by forbidden patterns. CoRR abs/1103.1542 (2011)

David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: A Maximal Tractable Class of Soft Constraints. CoRR abs/1107.0043 (2011)

Martin C. Cooper, Simon de Givry, M. Sanchez, Thomas Schiex, Matthias Zytnicki, T. Werner: Soft arc consistency revisited. Artif. Intell. 174(7-8): 449-478 (2010)

Martin C. Cooper, Peter G. Jeavons, András Z. Salamon: Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination. Artif. Intell. 174(9-10): 570-584 (2010)

Martin C. Cooper, Marie de Roquemaurel, Pierre Régnier: Transformation de problèmes de planification optimale. Revue d'Intelligence Artificielle 24(4): 465-484 (2010)

Martin C. Cooper, Stanislav Zivny: A New Hybrid Tractable Class of Soft Constraint Problems. CP 2010: 152-166

Martin C. Cooper, Frederic Maris, Pierre Régnier: Compilation of a High-level Temporal Planning Language into PDDL 2.1. ICTAI (2) 2010: 181-188

Martin C. Cooper, Frederic Maris, Pierre Régnier: Solving Temporally-Cyclic Planning Problems. TIME 2010: 113-120

Martin C. Cooper, Stanislav Zivny: Hybrid tractability of soft constraint problems. CoRR abs/1008.4071 (2010)

Martin C. Cooper: Line Drawing Interpretation. Springer 2008, isbn 978-1-8480-0228-9, pp. I-IX, 1-255

Martin C. Cooper: Minimization of Locally Defined Submodular Functions by Optimal Soft Arc Consistency. Constraints 13(4): 437-458 (2008)

Martin C. Cooper: Measuring the Semantic Distance between Languages from a Statistical Analysis of Bilingual Dictionaries. Journal of Quantitative Linguistics 15(1): 1-33 (2008)

Martin C. Cooper: A Rich Discrete Labeling Scheme for Line Drawings of Curved Objects. IEEE Trans. Pattern Anal. Mach. Intell. 30(4): 741-745 (2008)

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)

Martin C. Cooper, Simon de Givry, Martí Sánchez, Thomas Schiex, Matthias Zytnicki: Virtual Arc Consistency for Weighted CSP. AAAI 2008: 253-258

Martin C. Cooper, Peter G. Jeavons, András Z. Salamon: Hybrid tractable CSPs which generalize tree structure. ECAI 2008: 530-534

Martin C. Cooper: Constraints Between Distant Lines in the Labelling of Line Drawings of Polyhedral Scenes. International Journal of Computer Vision 73(2): 195-212 (2007)

Martin C. Cooper, Simon de Givry, Thomas Schiex: Optimal Soft Arc Consistency. IJCAI 2007: 68-73

David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: The complexity of soft constraint satisfaction. Artif. Intell. 170(11): 983-1016 (2006)

David A. Cohen, Martin C. Cooper, Peter Jeavons: An Algebraic Characterisation of Complexity for Valued Constraint. CP 2006: 107-121

Martin C. Cooper, Sylvain Cussat-Blanc, Marie de Roquemaurel, Pierre Régnier: Soft Arc Consistency Applied to Optimal Planning. CP 2006: 680-684

Martin C. Cooper: A Mathematical Model of Historical Semantics and the Grouping of Word Meanings into Concepts. Computational Linguistics 32(2): 227-248 (2005)

Martin C. Cooper: High-Order Consistency in Valued Constraint Satisfaction. Constraints 10(3): 283-305 (2005)

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)

Martin C. Cooper: Wireframe Projections: Physical Realisability of Curved Objects and Unambiguous Reconstruction of Simple Polyhedra. International Journal of Computer Vision 64(1): 69-88 (2005)

Martin C. Cooper, Thomas Schiex: Arc consistency for soft constraints. Artif. Intell. 154(1-2): 199-227 (2004)

Martin C. Cooper: Cyclic consistency: A local reduction operation for binary valued constraints. Artif. Intell. 155(1-2): 69-92 (2004)

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)

David A. Cohen, Martin C. Cooper, Peter Jeavons: A Complete Characterization of Complexity for Boolean Constraint Optimization Problems. CP 2004: 212-226

David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: Identifying Efficiently Solvable Cases of Max CSP. STACS 2004: 152-163

Martin C. Cooper: Reduction operations in fuzzy or valued constraint satisfaction. Fuzzy Sets and Systems 134(3): 311-342 (2003)

David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: Soft Constraints: Complexity and Multimorphisms. CP 2003: 244-258

David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: A Maximal Tractable Class of Soft Constraints. IJCAI 2003: 209-214

Martin C. Cooper: The Interpretation of Line Drawings with Contrast Failure and Shadows. International Journal of Computer Vision 43(2): 75-97 (2001)

Martin C. Cooper, Thomas Schiex: Arc consistency for soft constraints. CoRR cs.AI/0111038 (2001)

Martin C. Cooper: Linear constraints for the interpretation of line drawings of curved objects. Artif. Intell. 119(1-2): 235-258 (2000)

Martin C. Cooper: Semantic Distance Measures. Computational Intelligence 16(1): 79-94 (2000)

Martin C. Cooper: Linear-Time Algorithms for Testing the Realisability of Line Drawings of Curved Objects. Artif. Intell. 108(1-2): 31-67 (1999)

Peter Jeavons, David A. Cohen, Martin C. Cooper: Constraints, Consistency and Closure. Artif. Intell. 101(1-2): 251-265 (1998)

Martin C. Cooper: The Tractability of Segmentation and Scene Analysis. International Journal of Computer Vision 30(1): 27-42 (1998)

Martin C. Cooper: Fundamental Properties of Neighbourhood Substitution in Constraint Satisfaction Problems. Artif. Intell. 90(1-2): 1-24 (1997)

Martin C. Cooper: Interpreting line drawings of curved objects with tangential edges and surfaces. Image Vision Comput. 15(4): 263-276 (1997)

Peter Jeavons, Martin C. Cooper: Tractable Constraints on Ordered Domains. Artif. Intell. 79(2): 327-339 (1995)

Martin C. Cooper, David A. Cohen, Peter Jeavons: Characterising Tractable Constraints. Artif. Intell. 65(2): 347-361 (1994)

Peter Jeavons, David A. Cohen, Martin C. Cooper: A Substitution Operation for Constraints. PPCP 1994: 1-9

Martin C. Cooper: Interpretation of line drawings of complex objects. Image Vision Comput. 11(2): 82-90 (1993)

Martin C. Cooper: An Optimal k-Consistency Algorithm. Artif. Intell. 41(1): 89-95 (1989)

Martin C. Cooper: Formal Hierarchical Object Models for Fast Template Matching. Comput. J. 32(4): 351-361 (1989)

Martin C. Cooper: Accelerated analysis of occlusion. Image Vision Comput. 6(1): 3-12 (1988)