University of Michigan — United States
Computer Science · Physical Sciences
10h-index538citations15works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(14), Logic, programming, and type systems(5), Software Testing and Debugging Techniques(5), Constraint Satisfaction and Optimization(4), Model-Driven Software Engineering Techniques(3)
Publications15 total
Exploiting symmetry in linear and non-linear 0-1 problems.
Deep Blue (University of Michigan)·2016
Annals of Mathematics and Artificial Intelligence·2009· 4 cited
ACM Journal of Experimental Algorithmics·2008· 12 cited
IEEE Transactions on Computers·2007· 16 cited
Journal of Artificial Intelligence Research·2006· 38 citedOpen Access
Lecture notes in computer science·2005· 28 cited
Design, Automation, and Test in Europe·2004· 16 cited
Asia and South Pacific Design Automation Conference·2004· 15 cited
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems·2003· 95 cited
International Joint Conference on Artificial Intelligence·2003· 2 cited
Proceedings - ACM IEEE Design Automation Conference·2002· 116 cited
Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324)·2002· 30 cited
Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design·2002· 156 cited
Proceedings - ACM IEEE Design Automation Conference·2002· 7 cited
Frequent Co-authors
Igor L. Markov(15), Karem A. Sakallah(12), Fadi Aloul(11), F.A. Aloulb(1)