Karem A. Sakallah
Author
Alternate names Karem Sakallah, K. Sakallah, Karem A. Sakallah, K. A. Sakallah
Institution University of Michigan–Ann Arbor
Past institutions University of Michigan–Ann Arbor, Ann Arbor Center for Independent Living, Michigan United, University of Michigan–Dearborn, Cadence Design Systems (United States) +2 more
ORCID: Yes
H-index: 45
I10-index: 127
Works count: 225
Citations count: 8,431
GRASP: a search algorithm for propositional satisfiability
1999 · João Marques‐Silva, Karem A. Sakallah · IEEE Transactions on Computers
GRASP—a new search algorithm for satisfiability
1996 · João Marques‐Silva, Karem A. Sakallah · International Conference on Computer Aided Design
Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints
2007 · Mark H. Liffiton, Karem A. Sakallah · Journal of Automated Reasoning