GRASP: A search algorithm for propositional satisfiability JP Marques-Silva, KA Sakallah IEEE Transactions on Computers 48 (5), 506-521, 1999 | 1860 | 1999 |
GRASP—a new search algorithm for satisfiability JP Marques Silva, KA Sakallah The Best of ICCAD, 73-89, 2003 | 1563 | 2003 |
Algorithms for computing minimal unsatisfiable subsets of constraints MH Liffiton, KA Sakallah Journal of Automated Reasoning 40 (1), 1-33, 2008 | 399 | 2008 |
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 | 262 | 2002 |
SATIRE: A new incremental satisfiability engine J Whittemore, J Kim, K Sakallah Proceedings of the 38th Design Automation Conference (IEEE Cat. No …, 2001 | 260 | 2001 |
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 | 200 | 2004 |
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 | 188 | 2004 |
Efficient symmetry breaking for boolean satisfiability FA Aloul, KA Sakallah, IL Markov IEEE Transactions on Computers 55 (5), 549-558, 2006 | 182 | 2006 |
Boolean satisfiability in electronic design automation JP Marques-Silva, KA Sakallah Proceedings of the 37th Annual Design Automation Conference, 675-680, 2000 | 176 | 2000 |
Congestion driven quadratic placement PN Parakh, RB Brown, KA Sakallah Proceedings of the 35th annual Design Automation Conference, 275-278, 1998 | 171 | 1998 |
check Tc and min Tc: Timing Verification and Optimal Clocking of Synchronous Digtal Circuits. KA Sakallah, TN Mudge, K Olukotun ICCAD, 552-555, 1990 | 166 | 1990 |
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 | 161 | 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 | 159 | 2003 |
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 | 157 | 2002 |
On finding all minimally unsatisfiable subformulas MH Liffiton, KA Sakallah International conference on theory and applications of satisfiability …, 2005 | 156 | 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 | 156 | 2004 |
Pueblo: A hybrid pseudo-boolean SAT solver HM Sheini, KA Sakallah Journal on Satisfiability, Boolean Modeling and Computation 2 (1-4), 165-189, 2006 | 154 | 2006 |
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 | 151 | 1992 |
Faster symmetry discovery using sparsity of symmetries PT Darga, KA Sakallah, IL Markov 2008 45th ACM/IEEE Design Automation Conference, 149-154, 2008 | 142 | 2008 |
Robust search algorithms for test pattern generation JOM Silva, KA Sakallah Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing …, 1997 | 141 | 1997 |