A Note on a Problem Posed by D. E. Knuth on a Satisfiability Recurrence
From MaRDI portal
Publication:3191203
DOI10.1017/S0963548314000133zbMath1298.68070MaRDI QIDQ3191203
Wojciech Szpankowski, Philippe Jacquet, Charles Knessl
Publication date: 24 September 2014
Published in: Combinatorics, Probability and Computing (Search for Journal in Brave)
Related Items (1)
Cites Work
- Unnamed Item
- Mellin transforms and asymptotics: Harmonic sums
- Average time analyses of simplified Davis-Putnam procedures
- Analytical depoissonization and its applications
- On a functional equation arising in the analysis of a protocol for a multi-access broadcast channel
- Patricia tries again revisited
- Limiting Distribution for the Depth in PATRICIA Tries
This page was built for publication: A Note on a Problem Posed by D. E. Knuth on a Satisfiability Recurrence