| Publication | Date of Publication | Type |
|---|
An algebraic characterization of tractable constraints
Lecture Notes in Computer Science | 2023-12-12 | Paper |
Tractable constraints on ordered domains
Artificial Intelligence | 2022-09-21 | Paper |
| Galois connections for patterns: an algebra of labelled graphs | 2021-08-04 | Paper |
Representing fitness landscapes by valued constraints to understand the complexity of local search
Journal of Artificial Intelligence Research | 2020-12-09 | Paper |
| The complexity of valued constraint satisfaction | 2019-07-03 | Paper |
Simple neural-like P systems for maximal independent set selection
Neural Computation | 2019-06-12 | Paper |
Binary constraint satisfaction problems defined by excluded topological minors
Information and Computation | 2018-12-21 | Paper |
Binary constraint satisfaction problems defined by excluded topological minors
Information and Computation | 2018-12-21 | Paper |
Patterns from nature: distributed greedy colouring with simple messages and minimal graph knowledge
Information Sciences | 2018-05-17 | Paper |
The power of propagation: when GAC is enough
Constraints | 2018-02-22 | Paper |
Feedback from nature: simple randomised distributed algorithms for maximal independent set selection and greedy colouring
Distributed Computing | 2017-04-04 | Paper |
Reasoning about temporal relations, the tractable subalgebras of Allen's interval algebra
Journal of the ACM | 2015-11-12 | Paper |
Building tractable disjunctive constraints
Journal of the ACM | 2015-09-19 | Paper |
Feedback from nature, an optimal distributed algorithm for \textsc{Maximal Independent Set} selection
Proceedings of the 2013 ACM symposium on Principles of distributed computing | 2015-03-02 | Paper |
The complexity of maximal constraint languages
Proceedings of the thirty-third annual ACM symposium on Theory of computing | 2015-02-27 | Paper |
An algebraic theory of complexity for discrete optimization.
SIAM Journal on Computing | 2014-02-04 | Paper |
An algebraic theory of complexity for discrete optimization.
SIAM Journal on Computing | 2014-02-04 | Paper |
Representing and solving finite-domain constraint problems using systems of polynomials
Annals of Mathematics and Artificial Intelligence | 2013-08-26 | Paper |
| A Markov chain model of evolution in asexually reproducing populations: insight and analytical tractability in the evolutionary process | 2013-01-17 | Paper |
Local consistency and SAT-solvers
The Journal of Artificial Intelligence Research (JAIR) | 2012-05-16 | Paper |
| scientific article; zbMATH DE number 5999532 (Why is no real title available?) | 2012-01-23 | Paper |
An algebraic theory of complexity for valued constraints: establishing a Galois connection
Mathematical Foundations of Computer Science 2011 | 2011-08-17 | Paper |
Optimization Methods for the Partner Units Problem
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2011-05-26 | Paper |
Classes of submodular constraints expressible by graph cuts
Constraints | 2010-11-19 | Paper |
Generalizing constraint satisfaction on trees: hybrid tractability and variable elimination
Artificial Intelligence | 2010-09-02 | Paper |
The expressive power of binary submodular functions
Discrete Applied Mathematics | 2010-04-28 | Paper |
An algebraic approach to multi-sorted constraints
Lecture Notes in Computer Science | 2010-03-02 | Paper |
Soft constraints: complexity and multimorphisms
Lecture Notes in Computer Science | 2010-03-02 | Paper |
Presenting Constraints
Lecture Notes in Computer Science | 2009-12-01 | Paper |
The Expressive Power of Binary Submodular Functions
Mathematical Foundations of Computer Science 2009 | 2009-10-16 | Paper |
The complexity of constraint satisfaction games and QCSP
Information and Computation | 2009-09-14 | Paper |
The expressive power of valued constraints: Hierarchies and collapses
Theoretical Computer Science | 2008-12-12 | Paper |
Symmetry Definitions for Constraint Satisfaction Problems
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
An Algebraic Characterisation of Complexity for Valued Constraint
Principles and Practice of Constraint Programming - CP 2006 | 2008-09-09 | Paper |
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science | 2008-09-09 | Paper |
The Expressive Power of Valued Constraints: Hierarchies and Collapses
Principles and Practice of Constraint Programming – CP 2007 | 2008-09-02 | Paper |
Generalising submodularity and Horn clauses: Tractable optimization problems defined by tournament pair multimorphisms
Theoretical Computer Science | 2008-07-31 | Paper |
A unified theory of structural tractability for constraint satisfaction problems
Journal of Computer and System Sciences | 2008-06-26 | Paper |
The complexity of soft constraint satisfaction
Artificial Intelligence | 2007-10-23 | Paper |
STACS 2004
Lecture Notes in Computer Science | 2007-10-01 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Symmetry definitions for constraint satisfaction problems
Constraints | 2006-11-03 | Paper |
| The complexity of constraint satisfaction: an algebraic approach | 2006-02-13 | Paper |
scientific article; zbMATH DE number 2243365 (Why is no real title available?)
(available as arXiv preprint) | 2006-01-04 | Paper |
Classifying the Complexity of Constraints Using Finite Algebras
SIAM Journal on Computing | 2005-09-16 | Paper |
Supermodular functions and the complexity of MAX CSP
Discrete Applied Mathematics | 2005-09-02 | Paper |
Implementing a test for tractability
Constraints | 2005-03-15 | Paper |
Constraint Satisfaction Problems on Intervals and Lengths
SIAM Journal on Discrete Mathematics | 2005-02-28 | Paper |
| scientific article; zbMATH DE number 2086406 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2080305 (Why is no real title available?) | 2004-08-04 | Paper |
New tractable classes from old
Constraints | 2004-03-15 | Paper |
Learnability of quantified formulas.
Theoretical Computer Science | 2004-03-14 | Paper |
| scientific article; zbMATH DE number 1944123 (Why is no real title available?) | 2004-01-04 | Paper |
Tractable constraints on ordered domains
Artificial Intelligence | 2003-02-04 | Paper |
| scientific article; zbMATH DE number 1670830 (Why is no real title available?) | 2001-11-11 | Paper |
How to determine the expressive power of constraints
Constraints | 1999-09-07 | Paper |
Constraints and universal algebra
Annals of Mathematics and Artificial Intelligence | 1999-05-03 | Paper |
On the algebraic structure of combinatorial problems
Theoretical Computer Science | 1999-01-20 | Paper |
Constraints, consistency and closure
Artificial Intelligence | 1999-01-12 | Paper |
Closure properties of constraints
Journal of the ACM | 1998-02-17 | Paper |
| scientific article; zbMATH DE number 1113817 (Why is no real title available?) | 1998-02-08 | Paper |
| scientific article; zbMATH DE number 1008453 (Why is no real title available?) | 1997-11-10 | Paper |
| scientific article; zbMATH DE number 718859 (Why is no real title available?) | 1995-06-08 | Paper |
Decomposing constraint satisfaction problems using database techniques
Artificial Intelligence | 1995-01-02 | Paper |
Characterising tractable constraints
Artificial Intelligence | 1994-05-03 | Paper |
Counting representable sets on simple graphs
Discrete Applied Mathematics | 1994-02-22 | Paper |
