Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Antoine Genitrini
Map detail
Antoine Genitrini9 visible / 9 total nodes / 8 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAntoine GenitriniAAntoine GenitriniResearcherAsymptotic Enumeration of Compacted Binary Trees of Bounded Right HeightWAsymptotic Enumeration ...preprint / 2022Associative and commutative tree representations for Boolean functionsWAssociative and commuta...preprint / 2013Catalan satisfiability problemWCatalan satisfiability ...preprint / 2013Generalised and Quotient Models for Random And/Or Trees and Application to SatisfiabilityWGeneralised and Quotien...preprint / 2015The relation between tree size complexity and probability for Boolean functions generated by uniform random treesWThe relation between tr...preprint / 2015Full asymptotic expansion for Polya structuresWFull asymptotic expansi...preprint / 2016Binary Decision Diagrams: from Tree Compaction to SamplingWBinary Decision Diagram...preprint / 2020A Quantitative Study of Pure Parallel ProcessesWA Quantitative Study of...preprint / 2014
Person8 links

Antoine Genitrini

Researcher