Concepedia

Johann Brault-Baron

JB

Statistics

Publications

2

Citations

29

H-Index

2

Active since

2012

Affiliations

GREYC(Current)

Johann Brault-Baron is an author at GREYC specializing in formal methods, automated reasoning, and computational complexity.

Top concepts

Publications per year

2012–2015

2

Publications

2

A Negative Conjunctive Query is Easy if and only if it is Beta-Acyclic

Johann Brault-Baron · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012 · 18 citations · Full text

, , +12

Understanding Model Counting for beta-acyclic CNF-formulas

Johann Brault-Baron, Florent Capelli, Stefan Mengel · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 11 citations · Full text

1–2 of 2