Zaher S. Andraus
发表
Karem A. Sakallah,
Mark H. Liffiton,
Zaher S. Andraus,
2008,
LPAR.
Igor L. Markov,
Karem A. Sakallah,
Yoonna Oh,
2004,
Proceedings. 41st Design Automation Conference, 2004..
Karem A. Sakallah,
Zaher S. Andraus,
2009
.
Karem A. Sakallah,
Zaher S. Andraus,
K. Sakallah,
2004,
Proceedings. 41st Design Automation Conference, 2004..
Inês Lynce,
Joao Marques-Silva,
Karem A. Sakallah,
2008,
Constraints.
Inês Lynce,
Joao Marques-Silva,
Karem A. Sakallah,
2005,
SAT.
Karem A. Sakallah,
Mark H. Liffiton,
Zaher S. Andraus,
2006,
Asia and South Pacific Conference on Design Automation, 2006..
Zaher S. Andraus,
T. Mudge,
V. Bertacco,
.
Karem A. Sakallah,
Mark H. Liffiton,
Zaher S. Andraus,
2005
.
Karem A. Sakallah,
Mark H. Liffiton,
Zaher S. Andraus,
2005
.
Anthony J. Nicholson,
Zaher S. Andraus,
Y. Vorobeychik,
2022
.
Zaher S. Andraus,
2004
.
Mark H. Liffiton,
Zaher S. Andraus,
K. Sakallah,
2005
.