12 citations · 23 across the 13 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
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…