23 citations · 40 across the 18 of their papers we have counts for
Showing 2013 · math.COShow all
2 papers · 2 filters
math.CO2013★ 3 cited
Associative and commutative tree representations for Boolean functions
Antoine Genitrini, Bernhard Gittenberger, Veronika Kraus +1
Since the 90's, several authors have studied a probability distribution on the set of Boolean functions on variables induced by some probability distributions on formulas built…
math.CO2013
Catalan satisfiability problem
Antoine Genitrini, Cécile Mailler
An and/or tree is usually a binary plane tree, with internal nodes labelled by logical connectives, and with leaves labelled by literals chosen in a fixed set of k variables and th…