Augmenting Disjunctive Temporal Problems with Finite-Domain Constraints. - Michael D. Moffitt; Bart Peintner; Martha E. Pollack (AAAI, 2005)

A Personalized Time Management Assistant: Research Directions. - Pauline M. Berry; Melinda T. Gervasio; Tomás E. Uribe; Martha E. Pollack; Michael D. Moffitt (AAAI Spring Symposium: Persistent Assistants: Living and Working with AI, 2005)

Solving Over-constrained Disjunctive Temporal Problems with Preferences. - Bart Peintner; Michael D. Moffitt; Martha E. Pollack (ICAPS, 2005)

Partial Constraint Satisfaction of Disjunctive Temporal Problems. - Michael D. Moffitt; Martha E. Pollack (FLAIRS, 2005)

Identifying Conflicts in Overconstrained Temporal Problems. - Mark H. Liffiton; Michael D. Moffitt; Martha E. Pollack; Karem A. Sakallah (IJCAI, 2005)

Applying Local Search to Disjunctive Temporal Problems. - Michael D. Moffitt; Martha E. Pollack (IJCAI, 2005)

Active preference learning for personalized calendar scheduling assistance. - Melinda T. Gervasio; Michael D. Moffitt; Martha E. Pollack; Joseph M. Taylor; Tomás E. Uribe (IUI, 2005)

Temporal Preference Optimization as Weighted Constraint Satisfaction. - Michael D. Moffitt; Martha E. Pollack (AAAI, 2006)

Optimal Rectangle Packing: A Meta-CSP Approach. - Michael D. Moffitt; Martha E. Pollack (ICAPS, 2006)

Constraint-driven floorplan repair. - Michael D. Moffitt; Aaron N. Ng; Igor L. Markov; Martha E. Pollack (DAC, 2006)

On the Partial Observability of Temporal Uncertainty. - Michael D. Moffitt (AAAI, 2007)

Generalizing Temporal Controllability. - Michael D. Moffitt; Martha E. Pollack (IJCAI, 2007)

Efficient and expressive extensions of constraint-based temporal reasoning. - Michael D. Moffitt (2007)

Path smoothing via discrete optimization. - Michael D. Moffitt; David A. Papa; Zhuo Li 001; Charles J. Alpert (DAC, 2008)

The coming of age of (academic) global routing. - Michael D. Moffitt; Jarrod A. Roy; Igor L. Markov (ISPD, 2008)

MaizeRouter: Engineering an Effective Global Router. - Michael D. Moffitt (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

RUMBLE: An Incremental Timing-Driven Physical-Synthesis Optimization Algorithm. - David A. Papa; Tao Luo 002; Michael D. Moffitt; Chin Ngai Sze; Zhuo Li 001; Gi-Joon Nam; Charles J. Alpert; Igor L. Markov (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Constraint-driven floorplan repair. - Michael D. Moffitt; Jarrod A. Roy; Igor L. Markov; Martha E. Pollack (ACM Trans. Design Autom. Electr. Syst., 2008)

Global routing revisited. - Michael D. Moffitt (ICCAD, 2009)

What makes a design difficult to route. - Charles J. Alpert; Zhuo Li 001; Michael D. Moffitt; Gi-Joon Nam; Jarrod A. Roy; Gustavo E. Téllez (ISPD, 2010)

Optimal rectangle packing. - Richard E. Korf; Michael D. Moffitt; Martha E. Pollack (Ann. Oper. Res., 2010)

Speeding Up Physical Synthesis with Transactional Timing Analysis. - David A. Papa; Michael D. Moffitt; Charles J. Alpert; Igor L. Markov (IEEE Des. Test Comput., 2010)

Scalable Scheduling for Hardware-Accelerated Functional Verification. - Michael D. Moffitt; Gernot E. Günther (ICAPS, 2011)

Wire synthesizable global routing for timing closure. - Michael D. Moffitt; Chin Ngai Sze (ASP-DAC, 2011)

Robust partitioning for hardware-accelerated functional verification. - Michael D. Moffitt; Mátyás A. Sustik; Paul G. Villarrubia (DAC, 2011)

On the modelling and optimization of preferences in constraint-based temporal reasoning. - Michael D. Moffitt (Artif. Intell., 2011)

Multidimensional Bin Packing Revisited. - Michael D. Moffitt (CP, 2013)

Place and route for massively parallel hardware-accelerated functional verification. - Michael D. Moffitt; Gernot E. Günther; Kevin A. Pasnik (ICCAD, 2013)

Search Strategies for Optimal Multi-Way Number Partitioning. - Michael D. Moffitt (IJCAI, 2013)

Optimal Sequential Multi-Way Number Partitioning. - Richard E. Korf; Ethan L. Schreiber; Michael D. Moffitt (ISAIM, 2014)

Optimal Multi-Way Number Partitioning. - Ethan L. Schreiber; Richard E. Korf; Michael D. Moffitt (J. ACM, 2018)

Search Strategies for Topological Network Optimization. - Michael D. Moffitt (AAAI, 2022)

MiniMalloc: A Lightweight Memory Allocator for Hardware-Accelerated Machine Learning. - Michael D. Moffitt (ASPLOS (4), 2023)