Search

Spring 2011

Yang, Fan

In this thesis, we study theoretically and empirically the additive abstraction-based heuristics. First we present formal general definitions for abstractions that extend to general additive abstractions. We show that the general definition makes proofs of admissibility, consistency, and...

Fall 2015

Johnson, Erik E

We develop a method for searching for Hajós constructions. Our results include the discovery of new constructions for some well-known graphs, including the Grötzsch graph, Chvátal graph, and Brinkmann graph; also, we prove that the first two of these are shortest possible constructions. These are...