research
∙
08/30/2022
Unbalancing Binary Trees
Assuming Zipf's Law to be accurate, we show that existing techniques for...
research
∙
01/18/2014
Dr.Fill: Crosswords and an Implemented Solver for Singly Weighted CSPs
We describe Dr.Fill, a program that solves American-style crossword puzz...
research
∙
03/27/2013