Obserwuj
Karem A Sakallah
Karem A Sakallah
Zweryfikowany adres z umich.edu - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
GRASP: A search algorithm for propositional satisfiability
JP Marques-Silva, KA Sakallah
IEEE Transactions on Computers 48 (5), 506-521, 1999
18641999
GRASP—a new search algorithm for satisfiability
JP Marques Silva, KA Sakallah
The Best of ICCAD, 73-89, 2003
15642003
Algorithms for computing minimal unsatisfiable subsets of constraints
MH Liffiton, KA Sakallah
Journal of Automated Reasoning 40 (1), 1-33, 2008
4012008
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
2582002
SATIRE: A new incremental satisfiability engine
J Whittemore, J Kim, K Sakallah
Proceedings of the 38th Design Automation Conference (IEEE Cat. No …, 2001
2582001
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
2012004
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
1882004
Efficient symmetry breaking for boolean satisfiability
FA Aloul, KA Sakallah, IL Markov
IEEE Transactions on Computers 55 (5), 549-558, 2006
1842006
Boolean satisfiability in electronic design automation
JP Marques-Silva, KA Sakallah
Proceedings of the 37th Annual Design Automation Conference, 675-680, 2000
1782000
Congestion driven quadratic placement
PN Parakh, RB Brown, KA Sakallah
Proceedings of the 35th annual Design Automation Conference, 275-278, 1998
1671998
check Tc and min Tc: Timing Verification and Optimal Clocking of Synchronous Digtal Circuits.
KA Sakallah, TN Mudge, K Olukotun
ICCAD, 552-555, 1990
1671990
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
1602002
On finding all minimally unsatisfiable subformulas
MH Liffiton, KA Sakallah
International conference on theory and applications of satisfiability …, 2005
1592005
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
1592003
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
1582002
Pueblo: A hybrid pseudo-boolean SAT solver
HM Sheini, KA Sakallah
Journal on Satisfiability, Boolean Modeling and Computation 2 (1-4), 165-189, 2006
1572006
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
1572004
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
1531992
Faster symmetry discovery using sparsity of symmetries
PT Darga, KA Sakallah, IL Markov
2008 45th ACM/IEEE Design Automation Conference, 149-154, 2008
1442008
Robust search algorithms for test pattern generation
JOM Silva, KA Sakallah
Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing …, 1997
1431997
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20