Martin C. Cooper

Available identifiers

zbMath Open cooper.martin-cWikidataQ46752419 ScholiaQ46752419MaRDI QIDQ204901

List of research outcomes

Publication	Date of Publication	Type
Complexity of minimum-size arc-inconsistency explanations	2024-02-14	Paper
On computing probabilistic abductive explanations	2023-07-18	Paper
Tractability of explaining classifier decisions	2023-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q5874274	2023-02-07	Paper
Tractable constraints on ordered domains	2022-09-21	Paper
A lightweight epistemic logic and its application to planning	2021-11-02	Paper
Galois connections for patterns: an algebra of labelled graphs	2021-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4993597	2021-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q3304113	2020-08-05	Paper
Variable Elimination in Binary CSPs	2019-11-26	Paper
On singleton arc consistency for CSPs defined by monotone patterns	2019-04-25	Paper
The epistemic gossip problem	2019-01-22	Paper
Binary constraint satisfaction problems defined by excluded topological minors	2018-12-21	Paper
A polynomial relational class of binary CSP	2018-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4576175	2018-07-12	Paper
The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4600768	2018-01-12	Paper
Tractability in constraint satisfaction problems: a survey	2016-04-20	Paper
Broken triangles: from value merging to a tractable class of general-arity constraint satisfaction problems	2016-03-08	Paper
Variable and value elimination in binary constraint satisfaction via forbidden patterns	2015-07-13	Paper
Characterising the complexity of constraint satisfaction problems defined by 2-constraint forbidden patterns	2015-04-28	Paper
Monotone Temporal Planning: Tractability, Extensions and Applications	2014-07-30	Paper
An Algebraic Theory of Complexity for Discrete Optimization	2014-02-04	Paper
MANAGING TEMPORAL CYCLES IN PLANNING PROBLEMS REQUIRING CONCURRENCY	2013-11-01	Paper
The Tractability of CSP Classes Defined by Forbidden Patterns	2012-12-03	Paper
Tractable Triangles and Cross-Free Convexity in Discrete Optimisation	2012-08-27	Paper
A Mathematical Model of Historical Semantics and the Grouping of Word Meanings into Concepts	2012-03-20	Paper
A weighted CSP approach to cost-optimal planning	2011-12-01	Paper
Hybrid tractability of valued constraint problems	2011-11-17	Paper
Generalizing constraint satisfaction on trees: hybrid tractability and variable elimination	2010-09-02	Paper
Principles and Practice of Constraint Programming – CP 2003	2010-03-02	Paper
Minimization of locally defined submodular functions by optimal soft arc consistency	2009-05-29	Paper
https://portal.mardi4nfdi.de/entity/Q3549445	2008-12-23	Paper
An Algebraic Characterisation of Complexity for Valued Constraint	2008-09-09	Paper
Principles and Practice of Constraint Programming – CP 2004	2008-09-09	Paper
Generalising submodularity and Horn clauses: Tractable optimization problems defined by tournament pair multimorphisms	2008-07-31	Paper
The complexity of soft constraint satisfaction	2007-10-23	Paper
STACS 2004	2007-10-01	Paper
High-order consistency in valued constraint satisfaction	2006-02-23	Paper
Arc consistency for soft constraints	2006-02-07	Paper
Cyclic consistency: A local reduction operation for binary valued constraints	2006-02-07	Paper
Wireframe projections: physical realisability of curved objects and unambiguous reconstruction of simple polyhedra	2006-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q5715675	2006-01-04	Paper
Supermodular functions and the complexity of MAX CSP	2005-09-02	Paper
Fundamental properties of neighbourhood substitution in constraint satisfaction problems	2003-08-28	Paper
Reduction operations in fuzzy or valued constraint satisfaction	2003-05-19	Paper
Tractable constraints on ordered domains	2003-02-04	Paper
The interpretation of line drawings with contrast failure and shadows	2001-11-06	Paper
Linear constraints for the interpretation of line drawings of curved objects	2000-08-21	Paper
Linear-time algorithms for testing the realisability of line drawings of curved objects	1999-04-28	Paper
Constraints, consistency and closure	1999-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4336206	1997-11-10	Paper
Characterising tractable constraints	1994-05-03	Paper
Estimating optimal parameters for parallel database hardware	1992-06-28	Paper
An optimal k-consistency algorithm	1989-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Martin C. Cooper