13 research outputs found
The Effect of Representations on Constraint Satisfaction Problems
Constraint Satisfaction is used in the solution of a wide variety of important problems such as frequency assignment, code analysis, and scheduling. It is apparent that the modelling process is key to the success of any constraint based technique, and much work has been done on the identification of good models [FJHM05]. One of the key choices made during the modelling process is the selection of a constraint representation with which to express the constraints [HS02]. Whilst practitioners will commonly use an implicit representation, most existing structural tractability results are defined for explicit representation. We address a well-known anomaly in structural tractability theory, that acyclic instances are tractable when expressed explicitly, but may not be when expressed implicitly, and show that there is a link between representation and tractability, We introduce the notion of interaction width in order to address this disconnect between theory and practice, and use this to define new tractable classes by applying existing structural tractability results to different constraint representations, We show that for a given succinct representation, a non-trivial class of instances with bounded interaction width can be transformed into an explicit representation in polynomial time 50 that existing structural tractability results may be applied, We compare our work to existing results Cor alternative succinct representutions and show that the tractable classes we have defined arc incomparable and novel, and can be used to deduce new tractable classes for SAT. 3EThOS - Electronic Theses Online ServiceGBUnited Kingdo
Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science (STACS'09)
The Symposium on Theoretical Aspects of Computer Science (STACS) is held alternately in France and in Germany. The conference of February 26-28, 2009, held in Freiburg, is the 26th in this series. Previous meetings took place in Paris (1984), Saarbr¨ucken (1985), Orsay (1986), Passau (1987), Bordeaux (1988), Paderborn (1989), Rouen (1990), Hamburg (1991), Cachan (1992), W¨urzburg (1993), Caen (1994), M¨unchen (1995), Grenoble (1996), L¨ubeck (1997), Paris (1998), Trier (1999), Lille (2000), Dresden (2001), Antibes (2002), Berlin (2003), Montpellier (2004), Stuttgart (2005), Marseille (2006), Aachen (2007), and Bordeaux (2008). ..
Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments
Query answering is an important problem in AI, database and knowledge
representation. In this paper, we develop saturation-based Boolean conjunctive
query answering and rewriting procedures for the guarded, the loosely guarded
and the clique-guarded fragments. Our query answering procedure improves
existing resolution-based decision procedures for the guarded and the loosely
guarded fragments and this procedure solves Boolean conjunctive query answering
problems for the guarded, the loosely guarded and the clique-guarded fragments.
Based on this query answering procedure, we also introduce a novel
saturation-based query rewriting procedure for these guarded fragments. Unlike
mainstream query answering and rewriting methods, our procedures derive a
compact and reusable saturation, namely a closure of formulas, to handle the
challenge of querying for distributed datasets. This paper lays the theoretical
foundations for the first automated deduction decision procedures for Boolean
conjunctive query answering and the first saturation-based Boolean conjunctive
query rewriting in the guarded, the loosely guarded and the clique-guarded
fragments
LIPIcs, Volume 274, ESA 2023, Complete Volume
LIPIcs, Volume 274, ESA 2023, Complete Volum
LIPIcs, Volume 261, ICALP 2023, Complete Volume
LIPIcs, Volume 261, ICALP 2023, Complete Volum