1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.CC2014★ 1 cited
Understanding model counting for -acyclic CNF-formulas
Johann Brault-Baron, Florent Capelli, Stefan Mengel
We extend the knowledge about so-called structural restrictions of by giving a polynomial time algorithm for -acyclic . In contrast to previous…
math.CO2014
Hypergraph Acyclicity Revisited
Johann Brault-Baron
The notion of graph acyclicity has been extended to several different notions of hypergraph acyclicity, in increasing order of generality: gamma acyclicity, beta acyclicity, and al…