#### Filter Results:

- Full text PDF available (10)

#### Publication Year

1963

2017

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Martin C. Cooper, Peter Jeavons, András Z. Salamon
- Artif. Intell.
- 2010

a r t i c l e i n f o a b s t r a c t The Constraint Satisfaction Problem (CSP) is a central generic problem in artificial intelligence. Considerable progress has been made in identifying properties which ensure tractability in such problems, such as the property of being tree-structured. In this paper we introduce the broken-triangle property, which allows… (More)

- András Z. Salamon, Peter Jeavons
- CP
- 2008

By using recent results from graph theory, including the Strong Perfect Graph Theorem, we obtain a unifying framework for a number of tractable classes of constraint problems. These include problems with chordal microstructure; problems with chordal microstructure complement; problems with tree structure; and the " all-different " constraint. In each of… (More)

- David A. Cohen, Martin C. Cooper, Páidí Creed, Dániel Marx, András Z. Salamon
- J. Artif. Intell. Res.
- 2012

The constraint satisfaction problem (CSP) is a general problem central to computer science and artificial intelligence. Although the CSP is NP-hard in general, considerable effort has been spent on identifying tractable subclasses. The main two approaches consider structural properties (restrictions on the hypergraph of constraint scopes) and relational… (More)

- Martin C. Cooper, Peter Jeavons, András Z. Salamon
- ECAI
- 2008

The constraint satisfaction problem (CSP) is a central generic problem in artificial intelligence. Considerable progress has been made in identifying properties which ensure tractability in such problems, such as the property of being tree-structured. In this paper we introduce the broken-triangle property, which allows us to define a hybrid tractable class… (More)

- Egor V. Kostylev, Juan L. Reutter, András Z. Salamon
- PODS
- 2012

We study the problem of query containment of (unions of) conjunctive queries over annotated databases. Annotations are typically attached to tuples and represent metadata such as probability, multiplicity, comments, or provenance. It is usually assumed that annotations are drawn from a commutative semiring. Such databases pose new challenges in query… (More)

We introduce a new model of collective decision making , when a global decision needs to be made but the parties only possess partial information, and are unwilling (or unable) to first create a global composite of their local views. Our macroscope model captures two key features of many real-world problems: allotment structure (how access to local… (More)

- András Z. Salamon
- Constraints
- 2013

In this thesis I study constraint satisfaction problems or CSPs. These require determining whether values can be assigned to variables so that all constraints are satisfied. An important challenge is to identify tractable CSPs which can be solved efficiently. CSP instances have usually been grouped together by restricting either the allowed combinations of… (More)

- András Z. Salamon, Vashti Galpin
- ArXiv
- 2009

We use activity networks (task graphs) to model parallel programs and consider series-parallel extensions of these networks. Our motivation is twofold: the benefits of series-parallel activity networks and the modelling of programming constructs, such as those imposed by current parallel computing environments. Series-parallelisation adds precedence… (More)

- Dave Clarke, David Eppstein, +5 authors Suresh Venkatasubramanian
- SIGACT News
- 2010

Perhaps you're a computer scientist wondering how much the Axiom of Choice matters to the theorems you study and prove [ 21]. Perhaps you're a mathematician who needs a top expert to explain what "randomness" really means in computability and complexity [ 16]. Perhaps you need a list of problems that can be used to show polynomial-time hardness results [… (More)