We stand with Ukraine  

Johann Brault-Baron

Affiliations:
  • University of Caen Normandy, France


According to our database1, Johann Brault-Baron authored at least 5 papers between 2012 and 2016.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Hypergraph Acyclicity Revisited.
[BibTeX]
[DOI]
Johann Brault-Baron
ACM Comput. Surv., 2016

2015
Understanding Model Counting for beta-acyclic CNF-formulas.
[BibTeX]
[DOI]
Johann Brault-Baron
,
Florent Capelli
,
Stefan Mengel
Proceedings of the 32nd International Symposium on Theoretical Aspects of Computer Science, 2015

2014
Understanding model counting for $β$-acyclic CNF-formulas.
[BibTeX]
[DOI]
Johann Brault-Baron
,
Florent Capelli
,
Stefan Mengel
CoRR, 2014

2013
De la pertinence de l'énumération : complexité en logiques propositionnelle et du premier ordre. (The relevance of the list: propositional logic and complexity of the first order).
[BibTeX]
[DOI]
Johann Brault-Baron
PhD thesis, 2013

2012
A Negative Conjunctive Query is Easy if and only if it is Beta-Acyclic.
[BibTeX]
[DOI]
Johann Brault-Baron
Proceedings of the Computer Science Logic (CSL'12), 2012


  Loading...