Karem Sakallah
Karem Sakallah
Unknown affiliation
Verified email at umich.edu
Title
Cited by
Cited by
Year
Graph-based algorithms for boolean function manipulation
RE Bryant
Computers, IEEE Transactions on 100 (8), 677-691, 1986
123691986
GRASP: A search algorithm for propositional satisfiability
JP Marques-Silva, KA Sakallah
IEEE Transactions on Computers 48 (5), 506-521, 1999
17891999
GRASP—a new search algorithm for satisfiability
JPM Silva, KA Sakallah
The Best of ICCAD, 73-89, 2003
15192003
Algorithms for computing minimal unsatisfiable subsets of constraints
MH Liffiton, KA Sakallah
Journal of Automated Reasoning 40 (1), 1-33, 2008
3812008
SATIRE: A new incremental satisfiability engine
J Whittemore, J Kim, K Sakallah
Proceedings of the 38th Design Automation Conference (IEEE Cat. No …, 2001
2532001
Generic ILP versus specialized 0-1 ILP: An update
FA Aloul, A Ramani, IL Markov, KA Sakallah
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided …, 2002
2452002
Exploiting structure in symmetry detection for CNF
PT Darga, MH Liffiton, KA Sakallah, IL Markov
Proceedings of the 41st Annual Design Automation Conference, 530-534, 2004
1962004
A comparative study of two Boolean formulations of FPGA detailed routing constraints
GJ Nam, F Aloul, KA Sakallah, RA Rutenbar
IEEE Transactions on Computers 53 (6), 688-696, 2004
1902004
Efficient symmetry breaking for boolean satisfiability
FA Aloul, KA Sakallah, IL Markov
IEEE Transactions on Computers 55 (5), 549-558, 2006
1802006
Congestion driven quadratic placement
PN Parakh, RB Brown, KA Sakallah
Proceedings of the 35th annual Design Automation Conference, 275-278, 1998
1701998
Boolean satisfiability in electronic design automation
JP Marques-Silva, KA Sakallah
Proceedings of the 37th Annual Design Automation Conference, 675-680, 2000
1682000
PBS: a backtrack-search pseudo-boolean solver and optimizer
FA Aloul, A Ramani, I Markov, K Sakallah
Proceedings of the 5th International Symposium on Theory and Applications of …, 2002
1622002
check Tc and min Tc: Timing Verification and Optimal Clocking of Synchronous Digtal Circuits.
KA Sakallah, TN Mudge, K Olukotun
ICCAD, 552-555, 1990
1611990
Solving difficult instances of boolean satisfiability in the presence of symmetry
FA Aloul, A Ramani, IL Markov, KA Sakallah
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2003
1552003
Solving difficult SAT instances in the presence of symmetry
FA Aloul, A Ramani, IL Markov, KA Sakallah
Proceedings 2002 Design Automation Conference (IEEE Cat. No. 02CH37324), 731-736, 2002
1542002
On finding all minimally unsatisfiable subformulas
MH Liffiton, KA Sakallah
International conference on theory and applications of satisfiability …, 2005
1532005
AMUSE: a minimally-unsatisfiable subformula extractor
Y Oh, MN Mneimneh, ZS Andraus, KA Sakallah, IL Markov
Proceedings of the 41st annual design automation conference, 518-523, 2004
1522004
Pueblo: A hybrid pseudo-boolean SAT solver
HM Sheini, KA Sakallah
Journal on Satisfiability, Boolean Modeling and Computation 2 (1-4), 165-189, 2006
1502006
Analysis and design of latch-controlled synchronous digital circuits
KA Sakallah, TN Mudge, OA Olukotun
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1992
1461992
Faster symmetry discovery using sparsity of symmetries
PT Darga, KA Sakallah, IL Markov
2008 45th ACM/IEEE Design Automation Conference, 149-154, 2008
1372008
The system can't perform the operation now. Try again later.
Articles 1–20