2 papers
math.CO2017
Polynomial tuning of multiparametric combinatorial samplers
Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
Boltzmann samplers and the recursive method are prominent algorithmic frameworks for the approximate-size and exact-size random generation of large combinatorial structures, such a…
cs.LO2016
Normal-order reduction grammars
Maciej Bendkowski
We present an algorithm which, for given , generates an unambiguous regular tree grammar defining the set of combinatory logic terms, over the set of primitive combina…