Karen A. Sakallah
Affiliations: | University of Michigan, Ann Arbor, Ann Arbor, MI |
Area:
Computer ScienceGoogle:
"Karen Sakallah"
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Ramani A, Markov IL, Sakallah KA, et al. (2006) Breaking instance-independent symmetries in exact graph coloring Journal of Artificial Intelligence Research. 26: 289-322 |
| Sheini HM, Sakallah KA. (2006) SMT(CLU): A step toward scalability in system verification Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers, Iccad. 844-851 |
| Ramani A, Markov IL, Sakallah KA, et al. (2006) Breaking instance-independent symmetries in exact graph coloring Journal of Artificial Intelligence Research. 26: 289-322 |
| Mneimneh MN, Sakallah KA. (2005) Principles of sequential-equivalence verification Ieee Design and Test of Computers. 22: 248-257 |
| Sheini HM, Peintrier B, Sakallah KA, et al. (2005) On solving soft temporal constraints using SAT techniques Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3709: 607-621 |
| Liffiton MH, Sakallah KA. (2005) On finding all minimally unsatisfiable subformulas Lecture Notes in Computer Science. 3569: 173-186 |
| Nam GJ, Aloul F, Sakallah KA, et al. (2004) A comparative study of two Boolean formulations of FPGA detailed routing constraints Ieee Transactions On Computers. 53: 688-696 |
| Darga PT, Liffiton MH, Sakallah KA, et al. (2004) Exploiting structure in symmetry detection for CNF Proceedings - Design Automation Conference. 530-534 |
| Aloul FA, Markov IL, Sakallah KA. (2004) MINCE: A static global variable-ordering heuristic for SAT search and BDD manipulation Journal of Universal Computer Science. 10: 1562-1596 |
| Kravets VN, Sakallah KA. (2002) Resynthesis of multi-level circuits under tight constraints using symbolic optimization Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers. 687-693 |