Concepedia

Zaher S. Andraus

ZS

Statistics

Publications

4

Citations

228

H-Index

4

Active since

2004

Affiliations

University of Michigan(Current)

Zaher S. Andraus is an author at University of Michigan specializing in computing, computer science, and unsatisfiability.

Publications per year

2004–2008

4

Publications

4

AMUSE

Yoonna Oh, Maher Mneimneh, Zaher S. Andraus et al. · 2004 · 100 citations

, , +12

Automatic abstraction and verification of verilog models

Zaher S. Andraus, Karem A. Sakallah · 2004 · 61 citations

, , +17

A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas

Mark H. Liffiton, Maher Mneimneh, Inês Lynce et al. · Constraints · 2008 · 35 citations

, , +8

Refinement strategies for verification methods based on datapath abstraction

Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah · 2006 · 32 citations

, , +16

1–4 of 4