Johann Brault-Baron

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 1

Top Topics

Propositional Formulas

Acyclic Conjunctive Queries

Knowledge Compilation

Top Venues

ACM Comput. Surv.

University of Caen Normandy, France (PHD)

Education History

University of Caen Normandy, France

PHD

Publications

Johann Brault-Baron
Hypergraph Acyclicity Revisited. ACM Comput. Surv. 49 (3) (2016)
Johann Brault-Baron, Florent Capelli, Stefan Mengel
Understanding Model Counting for beta-acyclic CNF-formulas. STACS (2015)
Johann Brault-Baron, Florent Capelli, Stefan Mengel
Understanding model counting for $β$-acyclic CNF-formulas. CoRR (2014)
Johann Brault-Baron
A Negative Conjunctive Query is Easy if and only if it is Beta-Acyclic. CSL (2012)