6 citations · 8 across the 8 of their papers we have counts for
Showing 2020 · math.COShow all
2 papers · 2 filters
math.CO2020★ 1 cited
How to generate random lambda terms?
Maciej Bendkowski
We survey several methods of generating large random lambda-terms, focusing on their closed and simply-typed variants. We discuss methods of exact- and approximate-size generation,…
math.CO2020
Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers
Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
Combinatorial samplers are algorithmic schemes devised for the approximate- and exact-size generation of large random combinatorial structures, such as context-free words, various…