Tree projections provide a unifying framework to deal with most structur...
In allocation problems, a given set of goods are assigned to agents in s...
Tree projections provide a mathematical framework that encompasses all t...
Several variants of the Constraint Satisfaction Problem have been propos...
The problem of deciding whether CSP instances admit solutions has been d...
This paper presents the DLV system, which is widely considered the
state...