Global routing revisited
Moffitt
international conference on computer aided design 805 -808
2009
Robust partitioning for hardware-accelerated functional verification
Sustik , Villarrubia , Moffitt
design automation conference 854 -859
2011
Constraint-driven floorplan repair
M.D. Moffitt , A.N. Ng , I.L. Markov , M.E. Pollack
design automation conference 1103 -1108
1
2006
Multi-criteria optimization of temporal preferences
Michael D Moffitt , Bart Peintner , Neil Yorke-Smith
Proc. of CP’06 Workshop on Preferences and Soft Constraints (Soft’06) 79 -93
12
2006
Identifying conflicts in overconstrained temporal problems
Mark H Liffiton , Michael D Moffitt , Martha E Pollack , Karem A Sakallah
IJCAI 205 -211
32
2005
What makes a design difficult to route
Charles J Alpert , Zhuo Li , Michael D Moffitt , Gi-Joon Nam
international symposium on physical design 7 -12
81
2010
RUMBLE: an incremental, timing-driven, physical-synthesis optimization algorithm
David A Papa , Tao Luo , Michael D Moffitt , Chin Ngai Sze
international symposium on physical design 2 -9
32
2008
Path smoothing via discrete optimization
Michael D Moffitt , David A Papa , Zhuo Li , Charles J Alpert
design automation conference 724 -727
20
2008
Incremental timing-driven, physical-synthesis using discrete optimization
Charles J Alpert , Zhuo Li , Michael D Moffitt , David A Papa
12
2010
Method and system for point-to-point fast delay estimation for VLSI circuits
Chin Ngai Sze , Charles J Alpert , Michael D Moffitt , Zhuo Li
2
2012
Image processing system
Joseph G Earl , Michael D Moffitt
128
1993
Method and apparatus for increasing information compressibility
Joseph G Earl , Michael D Moffitt
110
1994
Optimal Rectangle Packing: A Meta-CSP Approach.
Michael D Moffitt , Martha E Pollack
ICAPS 93 -102
47
2006
Partial Constraint Satisfaction of Disjunctive Temporal Problems.
Michael D Moffitt , Martha E Pollack
FLAIRS 715 -720
21
2005
Applying local search to disjunctive temporal problems
Michael D Moffitt , Martha E Pollack
IJCAI 242 -247
20
2005
Partitioning for hardware-accelerated functional verification
Michael D Moffitt , Matyas A Sustik , Paul G Villarrubia
19
2012
Solving Over-constrained Disjunctive Temporal Problems with Preferences.
Bart Peintner , Michael D Moffitt , Martha E Pollack
ICAPS 202 -211
16
2005
Multi-way number partitioning using weakest link optimality
Michael D Moffitt
10
2016
A Personalized Time Management Assistant: Research Directions.
Pauline M Berry , Melinda T Gervasio , Tomás E Uribe , Martha E Pollack
AAAI Spring Symposium: Persistent Assistants: Living and Working with AI 1 -6
9
2005