GRASP: A search algorithm for propositional satisfiability JP Marques-Silva, KA Sakallah IEEE Transactions on Computers 48 (5), 506-521, 1999 | 2068 | 1999 |
GRASP-a new search algorithm for satisfiability JPM Silva, KA Sakallah Proceedings of International Conference on Computer Aided Design, 220-227, 1996 | 1803 | 1996 |
Algorithms for computing minimal unsatisfiable subsets of constraints MH Liffiton, KA Sakallah Journal of Automated Reasoning 40, 1-33, 2008 | 476 | 2008 |
Efficient symmetry breaking for boolean satisfiability FA Aloul, KA Sakallah, IL Markov IEEE Transactions on Computers 55 (5), 549-558, 2006 | 273* | 2006 |
SATIRE: A new incremental satisfiability engine J Whittemore, J Kim, K Sakallah Proceedings of the 38th annual Design Automation Conference, 542-545, 2001 | 272 | 2001 |
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 | 268 | 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 | 227 | 2004 |
Boolean satisfiability in electronic design automation JP Marques-Silva, KA Sakallah Proceedings of the 37th Annual Design Automation Conference, 675-680, 2000 | 204 | 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 | 195 | 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 | 174 | 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 |
Pueblo: A hybrid pseudo-boolean SAT solver HM Sheini, KA Sakallah Journal on Satisfiability, Boolean Modeling and Computation 2 (1-4), 165-189, 2006 | 169 | 2006 |
Congestion driven quadratic placement PN Parakh, RB Brown, KA Sakallah Proceedings of the 35th annual Design Automation Conference, 275-278, 1998 | 169 | 1998 |
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 | 168 | 2003 |
On finding all minimally unsatisfiable subformulas MH Liffiton, KA Sakallah International conference on theory and applications of satisfiability …, 2005 | 166 | 2005 |
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 | 165 | 2002 |
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 | 163 | 2004 |
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 | 163 | 1992 |
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 | 160 | 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 | 156 | 2008 |