Concepedia

Karem A. Sakallah

KA

Statistics

Publications

96

Citations

6.1K

H-Index

38

Active since

1985

Affiliations

University of Michigan(Current)

Carnegie Mellon University

Cadence Design Systems (United States)

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento

Karem A. Sakallah is an author at University of Michigan specializing in computer science, algorithms, and computing.

Publications per year

1985–2021

96

Publications

96

GRASP: a search algorithm for propositional satisfiability

João Marques‐Silva, Karem A. Sakallah · IEEE Transactions on Computers · 1999 · 1.4K citations

Computing, Computer Science, Algorithms +16

GRASP-A new search algorithm for satisfiability

J.P. Marques Silva, Karem A. Sakallah · 2002 · 373 citations

Computing, Computer Science, Algorithms +15

Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints

Mark H. Liffiton, Karem A. Sakallah · Journal of Automated Reasoning · 2007 · 328 citations

Computing, Computer Science, Algorithms +9

Jesse Whittemore, Joonyoung Kim, Karem A. Sakallah · 2001 · 181 citations

Computing, Computer Science, Algorithms +12

Generic ILP versus specialized 0-1 ILP

Fadi Aloul, Arathi Ramani, Igor L. Markov et al. · Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design · 2002 · 158 citations

Computing, Computer Engineering, Computer Science +15

1–5 of 96