Pages that link to "Item:Q2973215"
From MaRDI portal
The following pages link to Pointed versus singular Boltzmann samplers: a comparative analysis (Q2973215):
Displayed 4 items.
- Enumerating lambda terms by weighted length of their de Bruijn representation (Q1706116) (← links)
- Statistical properties of lambda terms (Q2327214) (← links)
- Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers (Q4603430) (← links)
- Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers (Q5886342) (← links)