| GRASP: A search algorithm for propositional satisfiability JP Marques-Silva, KA Sakallah IEEE Transactions on Computers 48 (5), 506-521, 1999 | 2067 | 1999 |
| GRASP-a new search algorithm for satisfiability JPM Silva, KA Sakallah Proceedings of International Conference on Computer Aided Design, 220-227, 1996 | 1797 | 1996 |
| Algorithms for computing minimal unsatisfiable subsets of constraints MH Liffiton, KA Sakallah Journal of Automated Reasoning 40, 1-33, 2008 | 485 | 2008 |
| SATIRE: A new incremental satisfiability engine J Whittemore, J Kim, K Sakallah Proceedings of the 38th Annual Design Automation Conference, 542-545, 2001 | 274 | 2001 |
| Efficient symmetry breaking for boolean satisfiability FA Aloul, KA Sakallah, IL Markov IEEE Transactions on Computers 55 (5), 549-558, 2006 | 272* | 2006 |
| 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 | 267 | 2002 |
| 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 | 224 | 2004 |
| Boolean satisfiability in electronic design automation JP Marques-Silva, KA Sakallah Proceedings of the 37th Annual Design Automation Conference, 675-680, 2000 | 206 | 2000 |
| 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 | 198 | 2001 |
| 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 | 179 | 2002 |
| check Tc and min Tc: Timing Verification and Optimal Clocking of Synchronous Digtal Circuits. KA Sakallah, TN Mudge, K Olukotun ICCAD, 552-555, 1990 | 174 | 1990 |
| Congestion driven quadratic placement PN Parakh, RB Brown, KA Sakallah Proceedings of the 35th annual Design Automation Conference, 275-278, 1998 | 169 | 1998 |
| Pueblo: A hybrid pseudo-boolean SAT solver HM Sheini, KA Sakallah Journal on Satisfiability, Boolean Modeling and Computation 2 (1-4), 165-189, 2006 | 168 | 2006 |
| 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 | 167 | 2002 |
| 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 | 166 | 2003 |
| On finding all minimally unsatisfiable subformulas MH Liffiton, KA Sakallah International conference on theory and applications of satisfiability …, 2005 | 165 | 2005 |
| 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 | 165 | 2004 |
| Analysis and design of latch-controlled synchronous digital circuits KA Sakallah, TN Mudge, OA Olukotun Proceedings of the 27th ACM/IEEE Design Automation Conference, 111-117, 1991 | 164 | 1991 |
| 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 | 162 | 2007 |
| Faster symmetry discovery using sparsity of symmetries PT Darga, KA Sakallah, IL Markov Proceedings of the 45th annual Design Automation Conference, 149-154, 2008 | 158 | 2008 |