A Note on a Problem Posed by D. E. Knuth on a Satisfiability Recurrence

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)

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Data structures (68P05)

Related Items (1)

Profiles of PATRICIA tries

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