Ellman, Thomas

5 publications

IJCAI 1993 Abstraction via Approximate Symmetry Thomas Ellman

AAAI 1993 Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design Thomas Ellman, John Eric Keane, Mark Schwabacher

ICML 1993 Synthesis of Abstraction Hierarchies for Constraint Satisfaction by Clustering Approximately Equivalent Objects Thomas Ellman

AAAI 1988 Approximate Theory Formation: An Explanation-Based Approach Thomas Ellman

IJCAI 1985 Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness Thomas Ellman