Millstein, Todd D.

3 publications

UAI 2017 Probabilistic Program Abstractions Steven Holtzen, Todd D. Millstein, Guy Van den Broeck

AAAI 1999 Navigational Plans for Data Integration Marc T. Friedman, Alon Y. Levy, Todd D. Millstein

IJCAI 1997 Automatic SAT-Compilation of Planning Problems Michael D. Ernst, Todd D. Millstein, Daniel S. Weld