by Moffitt, Michael D.
Published in Artificial intelligence (01.05.2011)

by Korf, Richard E., Moffitt, Michael D., Pollack, Martha E.
Published in Annals of operations research (01.09.2010)

by Moffitt, Michael D., Ng, Aaron N., Markov, Igor L., Pollack, Martha E.
Published in 2006 43rd ACM/IEEE Design Automation Conference (24.07.2006)

by PAPA DAVID A, MOFFITT MICHAEL D
Year of Publication 02.04.2010

by MOFFITT, Michael D
Published in Artificial intelligence (2011)

by Moffitt, M.D.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.2008)

by Moffitt, Michael D.
Published in Principles and Practice of Constraint Programming

by Papa, David, Markov, Igor L, Moffitt, Michael D, Alpert, Charles J
Published in IEEE design & test of computers (01.09.2010)

by Papa, D.A., Tao Luo, Moffitt, M.D., Sze, C.N., Zhuo Li, Gi-Joon Nam, Alpert, C.J., Markov, I.L.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.12.2008)

by Moffitt, Michael D., Sustik, Mátyás A., Villarrubia, Paul G.
Published in 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC) (05.06.2011)

by Moffitt, Michael D., Papa, David A., Li, Zhuo, Alpert, Charles J.
Published in 2008 45th ACM/IEEE Design Automation Conference (08.06.2008)

by MOFFITT MICHAEL D
Year of Publication 19.04.2016

by Moffitt, M.D.
Published in 2008 Asia and South Pacific Design Automation Conference (01.01.2008)

by MOFFITT MICHAEL D
Year of Publication 01.03.2016

by MOFFITT MICHAEL D
Year of Publication 11.12.2014

by MOFFITT MICHAEL D
Year of Publication 11.12.2014

by Moffitt, M.D.
Published in 2009 IEEE/ACM International Conference on Computer-Aided Design - Digest of Technical Papers (01.11.2009)

by MOFFITT MICHAEL D
Year of Publication 03.12.2013

by MOFFITT MICHAEL D
Year of Publication 17.10.2013

by Moffitt, Michael D., Gunther, Gernot E., Pasnik, Kevin A.
Published in 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (01.11.2013)