Follow
Karem A Sakallah
Karem A Sakallah
Verified email at umich.edu - Homepage
Title
Cited by
Cited by
Year
GRASP: A search algorithm for propositional satisfiability
JP Marques-Silva, KA Sakallah
IEEE Transactions on Computers 48 (5), 506-521, 1999
20061999
GRASP-a new search algorithm for satisfiability
JPM Silva, KA Sakallah
Proceedings of International Conference on Computer Aided Design, 220-227, 1996
17181996
Algorithms for computing minimal unsatisfiable subsets of constraints
MH Liffiton, KA Sakallah
Journal of Automated Reasoning 40, 1-33, 2008
4492008
SATIRE: A new incremental satisfiability engine
J Whittemore, J Kim, K Sakallah
Proceedings of the 38th annual Design Automation Conference, 542-545, 2001
2662001
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
2642002
Efficient symmetry breaking for boolean satisfiability
FA Aloul, KA Sakallah, IL Markov
IEEE Transactions on Computers 55 (5), 549-558, 2006
262*2006
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
2212004
A comparative study of two Boolean formulations of FPGA detailed routing constraints
GJ Nam, F Aloul, K Sakallah, R Rutenbar
Proceedings of the 2001 international symposium on Physical design, 222-227, 2001
1932001
Boolean satisfiability in electronic design automation
JP Marques-Silva, KA Sakallah
Proceedings of the 37th Annual Design Automation Conference, 675-680, 2000
1892000
check Tc and min Tc: Timing Verification and Optimal Clocking of Synchronous Digtal Circuits.
KA Sakallah, TN Mudge, K Olukotun
ICCAD, 552-555, 1990
1741990
Solving difficult SAT instances in the presence of symmetry
FA Aloul, A Ramani, IL Markov, KA Sakallah
Proceedings of the 39th annual Design Automation Conference, 731-736, 2002
1722002
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
1682003
Congestion driven quadratic placement
PN Parakh, RB Brown, KA Sakallah
Proceedings of the 35th annual Design Automation Conference, 275-278, 1998
1681998
On finding all minimally unsatisfiable subformulas
MH Liffiton, KA Sakallah
International conference on theory and applications of satisfiability …, 2005
1672005
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
1632004
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
1632002
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
1611992
Pueblo: A hybrid pseudo-boolean SAT solver
HM Sheini, KA Sakallah
Journal on Satisfiability, Boolean Modeling and Computation 2 (1-4), 165-189, 2006
1592006
Faster symmetry discovery using sparsity of symmetries
PT Darga, KA Sakallah, IL Markov
Proceedings of the 45th annual Design Automation Conference, 149-154, 2008
1542008
Improved design debugging using maximum satisfiability
S Safarpour, H Mangassarian, A Veneris, MH Liffiton, KA Sakallah
Formal Methods in Computer Aided Design (FMCAD'07), 13-19, 2007
1512007
The system can't perform the operation now. Try again later.
Articles 1–20