#### Filter Results:

- Full text PDF available (4)

#### Publication Year

2012

2016

- This year (0)
- Last five years (5)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Johann Brault-Baron, Florent Capelli, Stefan Mengel
- ArXiv
- 2014

We extend the knowledge about so-called structural restrictions of #SAT by giving a polynomial time algorithm for β-acyclic #SAT. In contrast to previous algorithms in the area, our algorithm does not proceed by dynamic programming but works along an elimination order, solving a weighted version of constraint satisfaction. Moreover, we give evidence that… (More)

- Johann Brault-Baron
- CSL
- 2012

It is known that the data complexity of a Conjunctive Query (CQ) is determined only by the way its variables are shared between atoms, reflected by its hypergraph. In particular, Yannakakis [18, 3] proved that a CQ is decidable in linear time when it is α-acyclic, i.e. its hypergraph is α-acyclic; Bagan et al. [2] even state: Any CQ is decidable in linear… (More)

- Johann Brault-Baron
- ACM Comput. Surv.
- 2016

The notion of graph acyclicity has been extended to several notions of hypergraph acyclicity. In increasing order of generality: <i>gamma</i> acyclicity, <i>beta</i> acyclicity, and <i>alpha</i> acyclicity have met a great interest in many fields.
For each notion, we prove the equivalence between the numerous characterizations with a new, simpler proof, in… (More)

- Johann Brault-Baron, Florent Capelli, Stefan Mengel
- STACS
- 2015

We extend the knowledge about so-called structural restrictions of #SAT by giving a polynomial time algorithm for β-acyclic #SAT. In contrast to previous algorithms in the area, our algorithm does not proceed by dynamic programming but works along an elimination order, solving a weighted version of constraint satisfaction. Moreover, we give evidence that… (More)

- ‹
- 1
- ›