Zaher S. Andraus

Publication Activity (10 Years)

Years Active: 2004-2009
Publications (10 Years): 0

Publications

Mark H. Liffiton, Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João Marques-Silva, Karem A. Sakallah
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas. Constraints An Int. J. 14 (4) (2009)
Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah
Reveal: A Formal Verification Tool for Verilog Designs. LPAR (2008)
Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah
Refinement strategies for verification methods based on datapath abstraction. ASP-DAC (2006)
Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João P. Marques Silva, Karem A. Sakallah
A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas. SAT (2005)
Zaher S. Andraus, Karem A. Sakallah
Automatic abstraction and verification of verilog models. DAC (2004)
Yoonna Oh, Maher N. Mneimneh, Zaher S. Andraus, Karem A. Sakallah, Igor L. Markov
AMUSE: a minimally-unsatisfiable subformula extractor. DAC (2004)