Model Counting Using the Inclusion-Exclusion Principle. - Huxley Bennett; Sriram Sankaranarayanan 001 (SAT, 2011)

On Quadtrees, Voronoi Diagrams, and Lattices: Results in Geometric Algorithms. - Huxley Bennett (2017)