default search action
BibTeX records: Karem A. Sakallah
@article{DBLP:journals/isse/GoelS23, author = {Aman Goel and Karem A. Sakallah}, title = {Regularity and quantification: a new approach to verify distributed protocols}, journal = {Innov. Syst. Softw. Eng.}, volume = {19}, number = {4}, pages = {359--377}, year = {2023}, url = {https://doi.org/10.1007/s11334-022-00460-8}, doi = {10.1007/S11334-022-00460-8}, timestamp = {Tue, 28 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/isse/GoelS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/FazekasGS23, author = {Katalin Fazekas and Aman Goel and Karem A. Sakallah}, editor = {Alexander Nadel and Kristin Yvonne Rozier}, title = {SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols}, booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2023, Ames, IA, USA, October 24-27, 2023}, pages = {152--161}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.34727/2023/isbn.978-3-85448-060-0\_23}, doi = {10.34727/2023/ISBN.978-3-85448-060-0\_23}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fmcad/FazekasGS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/GoelMS23, author = {Aman Goel and Stephan Merz and Karem A. Sakallah}, editor = {Marieke Huisman and Ant{\'{o}}nio Ravara}, title = {Towards an Automatic Proof of the Bakery Algorithm}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 43rd {IFIP} {WG} 6.1 International Conference, {FORTE} 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13910}, pages = {21--28}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-35355-0\_2}, doi = {10.1007/978-3-031-35355-0\_2}, timestamp = {Tue, 20 Jun 2023 14:29:33 +0200}, biburl = {https://dblp.org/rec/conf/forte/GoelMS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/GoelS21, author = {Aman Goel and Karem A. Sakallah}, title = {Towards an Automatic Proof of Lamport's Paxos}, booktitle = {Formal Methods in Computer Aided Design, {FMCAD} 2021, New Haven, CT, USA, October 19-22, 2021}, pages = {112--122}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4\_20}, doi = {10.34727/2021/ISBN.978-3-85448-046-4\_20}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fmcad/GoelS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/GoelS21, author = {Aman Goel and Karem A. Sakallah}, editor = {Aaron Dutle and Mariano M. Moscato and Laura Titolo and C{\'{e}}sar A. Mu{\~{n}}oz and Ivan Perez}, title = {On Symmetry and Quantification: {A} New Approach to Verify Distributed Protocols}, booktitle = {{NASA} Formal Methods - 13th International Symposium, {NFM} 2021, Virtual Event, May 24-28, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12673}, pages = {131--150}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-76384-8\_9}, doi = {10.1007/978-3-030-76384-8\_9}, timestamp = {Wed, 20 Sep 2023 15:15:29 +0200}, biburl = {https://dblp.org/rec/conf/nfm/GoelS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smt/Sakallah21, author = {Karem A. Sakallah}, editor = {Alexander Nadel and Aina Niemetz}, title = {Invited Talk: {AVR:} Word-Level Verification by Equality Abstraction of Data State}, booktitle = {Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), Online (initially located in Los Angeles, USA), July 18-19, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2908}, pages = {2}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2908/invited2.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:48 +0100}, biburl = {https://dblp.org/rec/conf/smt/Sakallah21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/faia/Sakallah21, author = {Karem A. Sakallah}, editor = {Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh}, title = {Symmetry and Satisfiability}, booktitle = {Handbook of Satisfiability - Second Edition}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {336}, pages = {509--570}, publisher = {{IOS} Press}, year = {2021}, url = {https://doi.org/10.3233/FAIA200996}, doi = {10.3233/FAIA200996}, timestamp = {Fri, 06 May 2022 08:03:54 +0200}, biburl = {https://dblp.org/rec/series/faia/Sakallah21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2103-14831, author = {Aman Goel and Karem A. Sakallah}, title = {On Symmetry and Quantification: {A} New Approach to Verify Distributed Protocols}, journal = {CoRR}, volume = {abs/2103.14831}, year = {2021}, url = {https://arxiv.org/abs/2103.14831}, eprinttype = {arXiv}, eprint = {2103.14831}, timestamp = {Wed, 07 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2103-14831.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2108-08796, author = {Aman Goel and Karem A. Sakallah}, title = {Towards an Automatic Proof of Lamport's Paxos}, journal = {CoRR}, volume = {abs/2108.08796}, year = {2021}, url = {https://arxiv.org/abs/2108.08796}, eprinttype = {arXiv}, eprint = {2108.08796}, timestamp = {Mon, 23 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2108-08796.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/BuenoCS20, author = {Denis Bueno and Arlen Cox and Karem A. Sakallah}, title = {EUFicient Reachability in Software with Arrays}, booktitle = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa, Israel, September 21-24, 2020}, pages = {57--66}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_12}, doi = {10.34727/2020/ISBN.978-3-85448-042-6\_12}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/BuenoCS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/GoelS20, author = {Aman Goel and Karem A. Sakallah}, editor = {Armin Biere and David Parker}, title = {{AVR:} Abstractly Verifying Reachability}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, {TACAS} 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12078}, pages = {413--422}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-45190-5\_23}, doi = {10.1007/978-3-030-45190-5\_23}, timestamp = {Fri, 14 May 2021 08:34:17 +0200}, biburl = {https://dblp.org/rec/conf/tacas/GoelS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/GoelS19, author = {Aman Goel and Karem A. Sakallah}, editor = {J{\"{u}}rgen Teich and Franco Fummi}, title = {Empirical Evaluation of IC3-Based Model Checking Techniques on Verilog {RTL} Designs}, booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2019, Florence, Italy, March 25-29, 2019}, pages = {618--621}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.23919/DATE.2019.8715289}, doi = {10.23919/DATE.2019.8715289}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/date/GoelS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hotos/MaGJKKS19, author = {Haojun Ma and Aman Goel and Jean{-}Baptiste Jeannin and Manos Kapritsos and Baris Kasikci and Karem A. Sakallah}, title = {Towards Automatic Inference of Inductive Invariants}, booktitle = {Proceedings of the Workshop on Hot Topics in Operating Systems, HotOS 2019, Bertinoro, Italy, May 13-15, 2019}, pages = {30--36}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3317550.3321451}, doi = {10.1145/3317550.3321451}, timestamp = {Sat, 19 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hotos/MaGJKKS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/GoelS19, author = {Aman Goel and Karem A. Sakallah}, editor = {Julia M. Badger and Kristin Yvonne Rozier}, title = {Model Checking of Verilog {RTL} Using {IC3} with Syntax-Guided Abstraction}, booktitle = {{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11460}, pages = {166--185}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-20652-9\_11}, doi = {10.1007/978-3-030-20652-9\_11}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nfm/GoelS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sosp/MaGJKKS19, author = {Haojun Ma and Aman Goel and Jean{-}Baptiste Jeannin and Manos Kapritsos and Baris Kasikci and Karem A. Sakallah}, editor = {Tim Brecht and Carey Williamson}, title = {{I4:} incremental inference of inductive invariants for verification of distributed protocols}, booktitle = {Proceedings of the 27th {ACM} Symposium on Operating Systems Principles, {SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019}, pages = {370--384}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3341301.3359651}, doi = {10.1145/3341301.3359651}, timestamp = {Sat, 19 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sosp/MaGJKKS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/BuenoS19, author = {Denis Bueno and Karem A. Sakallah}, editor = {Constantin Enea and Ruzica Piskac}, title = {euforia: Complete Software Model Checking with Uninterpreted Functions}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11388}, pages = {363--385}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-11245-5\_17}, doi = {10.1007/978-3-030-11245-5\_17}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/BuenoS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/LeeS14, author = {Suho Lee and Karem A. Sakallah}, editor = {Armin Biere and Roderick Bloem}, title = {Unbounded Scalable Verification Based on Approximate Property-Directed Reachability and Datapath Abstraction}, booktitle = {Computer Aided Verification - 26th International Conference, {CAV} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 18-22, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8559}, pages = {849--865}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08867-9\_56}, doi = {10.1007/978-3-319-08867-9\_56}, timestamp = {Mon, 03 Jan 2022 22:13:44 +0100}, biburl = {https://dblp.org/rec/conf/cav/LeeS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/KatebiSM13, author = {Hadi Katebi and Karem A. Sakallah and Igor L. Markov}, editor = {J{\"{o}}rg Henkel}, title = {Generalized Boolean symmetries through nested partition refinement}, booktitle = {The {IEEE/ACM} International Conference on Computer-Aided Design, ICCAD'13, San Jose, CA, USA, November 18-21, 2013}, pages = {763--770}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/ICCAD.2013.6691200}, doi = {10.1109/ICCAD.2013.6691200}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/iccad/KatebiSM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictai/CodenottiKSM13, author = {Paolo Codenotti and Hadi Katebi and Karem A. Sakallah and Igor L. Markov}, title = {Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms}, booktitle = {25th {IEEE} International Conference on Tools with Artificial Intelligence, {ICTAI} 2013, Herndon, VA, USA, November 4-6, 2013}, pages = {907--914}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/ICTAI.2013.139}, doi = {10.1109/ICTAI.2013.139}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictai/CodenottiKSM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/raid/BuenoCSB13, author = {Denis Bueno and Kevin J. Compton and Karem A. Sakallah and Michael D. Bailey}, editor = {Salvatore J. Stolfo and Angelos Stavrou and Charles V. Wright}, title = {Detecting Traditional Packers, Decisively}, booktitle = {Research in Attacks, Intrusions, and Defenses - 16th International Symposium, {RAID} 2013, Rodney Bay, St. Lucia, October 23-25, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8145}, pages = {184--203}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-41284-4\_10}, doi = {10.1007/978-3-642-41284-4\_10}, timestamp = {Mon, 20 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/raid/BuenoCSB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/KatebiSM12, author = {Hadi Katebi and Karem A. Sakallah and Igor L. Markov}, editor = {Andrei Voronkov}, title = {Graph Symmetry Detection and Canonical Labeling: Differences and Synergies}, booktitle = {Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012}, series = {EPiC Series in Computing}, volume = {10}, pages = {181--195}, publisher = {EasyChair}, year = {2012}, url = {https://doi.org/10.29007/gzc1}, doi = {10.29007/GZC1}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/KatebiSM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/KatebiSM12, author = {Hadi Katebi and Karem A. Sakallah and Igor L. Markov}, editor = {Nikolaj S. Bj{\o}rner and Andrei Voronkov}, title = {Conflict Anticipation in the Search for Graph Automorphisms}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March 11-15, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7180}, pages = {243--257}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28717-6\_20}, doi = {10.1007/978-3-642-28717-6\_20}, timestamp = {Thu, 14 Apr 2022 20:26:15 +0200}, biburl = {https://dblp.org/rec/conf/lpar/KatebiSM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1208-6269, author = {Hadi Katebi and Karem A. Sakallah and Igor L. Markov}, title = {Conflict Anticipation in the Search for Graph Automorphisms}, journal = {CoRR}, volume = {abs/1208.6269}, year = {2012}, url = {http://arxiv.org/abs/1208.6269}, eprinttype = {arXiv}, eprint = {1208.6269}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1208-6269.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1208-6271, author = {Hadi Katebi and Karem A. Sakallah and Igor L. Markov}, title = {Graph Symmetry Detection and Canonical Labeling: Differences and Synergies}, journal = {CoRR}, volume = {abs/1208.6271}, year = {2012}, url = {http://arxiv.org/abs/1208.6271}, eprinttype = {arXiv}, eprint = {1208.6271}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1208-6271.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/SakallahM11, author = {Karem A. Sakallah and Jo{\~{a}}o Marques{-}Silva}, title = {Anatomy and Empirical Evaluation of Modern {SAT} Solvers}, journal = {Bull. {EATCS}}, volume = {103}, pages = {96--121}, year = {2011}, url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/138}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eatcs/SakallahM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsac/HuangZOPS11, author = {Heqing Huang and Su Zhang and Xinming Ou and Atul Prakash and Karem A. Sakallah}, editor = {Robert H'obbes' Zakon and John P. McDermott and Michael E. Locasto}, title = {Distilling critical attack graph surface iteratively through minimum-cost {SAT} solving}, booktitle = {Twenty-Seventh Annual Computer Security Applications Conference, {ACSAC} 2011, Orlando, FL, USA, 5-9 December 2011}, pages = {31--40}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2076732.2076738}, doi = {10.1145/2076732.2076738}, timestamp = {Wed, 12 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/acsac/HuangZOPS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/SaidWYS11, author = {Mahmoud Said and Chao Wang and Zijiang Yang and Karem A. Sakallah}, editor = {Mihaela Gheorghiu Bobaru and Klaus Havelund and Gerard J. Holzmann and Rajeev Joshi}, title = {Generating Data Race Witnesses by an SMT-Based Analysis}, booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6617}, pages = {313--327}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-20398-5\_23}, doi = {10.1007/978-3-642-20398-5\_23}, timestamp = {Wed, 25 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nfm/SaidWYS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/KatebiSS11, author = {Hadi Katebi and Karem A. Sakallah and Jo{\~{a}}o P. Marques Silva}, editor = {Karem A. Sakallah and Laurent Simon}, title = {Empirical Study of the Anatomy of Modern Sat Solvers}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2011 - 14th International Conference, {SAT} 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6695}, pages = {343--356}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21581-0\_27}, doi = {10.1007/978-3-642-21581-0\_27}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/KatebiSS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sat/2011, editor = {Karem A. Sakallah and Laurent Simon}, title = {Theory and Applications of Satisfiability Testing - {SAT} 2011 - 14th International Conference, {SAT} 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6695}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21581-0}, doi = {10.1007/978-3-642-21581-0}, isbn = {978-3-642-21580-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1109-2347, author = {Fadi A. Aloul and Igor L. Markov and Arathi Ramani and Karem A. Sakallah}, title = {Breaking Instance-Independent Symmetries In Exact Graph Coloring}, journal = {CoRR}, volume = {abs/1109.2347}, year = {2011}, url = {http://arxiv.org/abs/1109.2347}, eprinttype = {arXiv}, eprint = {1109.2347}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1109-2347.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ACMdis/HuhPKSK10, author = {Jina Huh and Martha E. Pollack and Hadi Katebi and Karem A. Sakallah and Ned Kirsch}, editor = {Olav W. Bertelsen and Peter Gall Krogh and Kim Halskov and Marianne Graves Petersen}, title = {Incorporating user control in automated interactive scheduling systems}, booktitle = {Proceedings of the Conference on Designing Interactive Systems, Aarhus, Denmark, August 16-20, 2010}, pages = {306--309}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1858171.1858226}, doi = {10.1145/1858171.1858226}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ACMdis/HuhPKSK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/YangS10, author = {Zijiang Yang and Karem A. Sakallah}, editor = {Jin Song Dong and Huibiao Zhu}, title = {Trace-Driven Verification of Multithreaded Programs}, booktitle = {Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6447}, pages = {404--419}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16901-4\_27}, doi = {10.1007/978-3-642-16901-4\_27}, timestamp = {Thu, 11 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfem/YangS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/KatebiSM10, author = {Hadi Katebi and Karem A. Sakallah and Igor L. Markov}, editor = {Ofer Strichman and Stefan Szeider}, title = {Symmetry and Satisfiability: An Update}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2010, 13th International Conference, {SAT} 2010, Edinburgh, UK, July 11-14, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6175}, pages = {113--127}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14186-7\_11}, doi = {10.1007/978-3-642-14186-7\_11}, timestamp = {Sat, 19 Oct 2019 20:28:15 +0200}, biburl = {https://dblp.org/rec/conf/sat/KatebiSM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/AloulRMS09, author = {Fadi A. Aloul and Arathi Ramani and Igor L. Markov and Karem A. Sakallah}, title = {Dynamic symmetry-breaking for Boolean satisfiability}, journal = {Ann. Math. Artif. Intell.}, volume = {57}, number = {1}, pages = {59--73}, year = {2009}, url = {https://doi.org/10.1007/s10472-010-9173-2}, doi = {10.1007/S10472-010-9173-2}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/amai/AloulRMS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/constraints/LiffitonMLAMS09, author = {Mark H. Liffiton and Maher N. Mneimneh and In{\^{e}}s Lynce and Zaher S. Andraus and Jo{\~{a}}o Marques{-}Silva and Karem A. Sakallah}, title = {A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas}, journal = {Constraints An Int. J.}, volume = {14}, number = {4}, pages = {415--442}, year = {2009}, url = {https://doi.org/10.1007/s10601-008-9058-8}, doi = {10.1007/S10601-008-9058-8}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/constraints/LiffitonMLAMS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifm/YangASHSG09, author = {Zijiang Yang and Bashar Al{-}Rawi and Karem A. Sakallah and Xiaowan Huang and Scott A. Smolka and Radu Grosu}, editor = {Michael Leuschel and Heike Wehrheim}, title = {Dynamic Path Reduction for Software Model Checking}, booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5423}, pages = {322--336}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00255-7\_22}, doi = {10.1007/978-3-642-00255-7\_22}, timestamp = {Thu, 11 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifm/YangASHSG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/LiffitonS09, author = {Mark H. Liffiton and Karem A. Sakallah}, editor = {Oliver Kullmann}, title = {Generalizing Core-Guided Max-SAT}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2009, 12th International Conference, {SAT} 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5584}, pages = {481--494}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02777-2\_44}, doi = {10.1007/978-3-642-02777-2\_44}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/LiffitonS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/faia/Sakallah09, author = {Karem A. Sakallah}, editor = {Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh}, title = {Symmetry and Satisfiability}, booktitle = {Handbook of Satisfiability}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {185}, pages = {289--338}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-58603-929-5-289}, doi = {10.3233/978-1-58603-929-5-289}, timestamp = {Fri, 06 May 2022 08:00:40 +0200}, biburl = {https://dblp.org/rec/series/faia/Sakallah09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/LiffitonS08, author = {Mark H. Liffiton and Karem A. Sakallah}, title = {Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints}, journal = {J. Autom. Reason.}, volume = {40}, number = {1}, pages = {1--33}, year = {2008}, url = {https://doi.org/10.1007/s10817-007-9084-z}, doi = {10.1007/S10817-007-9084-Z}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/LiffitonS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/DargaSM08, author = {Paul T. Darga and Karem A. Sakallah and Igor L. Markov}, editor = {Limor Fix}, title = {Faster symmetry discovery using sparsity of symmetries}, booktitle = {Proceedings of the 45th Design Automation Conference, {DAC} 2008, Anaheim, CA, USA, June 8-13, 2008}, pages = {149--154}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1391469.1391509}, doi = {10.1145/1391469.1391509}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/DargaSM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/AndrausLS08, author = {Zaher S. Andraus and Mark H. Liffiton and Karem A. Sakallah}, editor = {Iliano Cervesato and Helmut Veith and Andrei Voronkov}, title = {Reveal: {A} Formal Verification Tool for Verilog Designs}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, {LPAR} 2008, Doha, Qatar, November 22-27, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5330}, pages = {343--352}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-89439-1\_25}, doi = {10.1007/978-3-540-89439-1\_25}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/AndrausLS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/LiffitonS08, author = {Mark H. Liffiton and Karem A. Sakallah}, editor = {Hans Kleine B{\"{u}}ning and Xishun Zhao}, title = {Searching for Autarkies to Trim Unsatisfiable Clause Sets}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2008, 11th International Conference, {SAT} 2008, Guangzhou, China, May 12-15, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4996}, pages = {182--195}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-79719-7\_18}, doi = {10.1007/978-3-540-79719-7\_18}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/LiffitonS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aim/Marques-SilvaSL07, author = {Jo{\~{a}}o Marques{-}Silva and Karem A. Sakallah and In{\^{e}}s Lynce}, title = {Report on the {SAT} 2007 Conference on Theory and Applications of Satisfiability Testing}, journal = {{AI} Mag.}, volume = {28}, number = {4}, pages = {135--136}, year = {2007}, url = {https://doi.org/10.1609/aimag.v28i4.2075}, doi = {10.1609/AIMAG.V28I4.2075}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aim/Marques-SilvaSL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jea/AloulRMS07, author = {Fadi A. Aloul and Arathi Ramani and Igor L. Markov and Karem A. Sakallah}, title = {Symmetry breaking for pseudo-Boolean formulas}, journal = {{ACM} J. Exp. Algorithmics}, volume = {12}, pages = {1.3:1--1.3:14}, year = {2007}, url = {https://doi.org/10.1145/1227161.1278375}, doi = {10.1145/1227161.1278375}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jea/AloulRMS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tc/AloulRSM07, author = {Fadi A. Aloul and Arathi Ramani and Karem A. Sakallah and Igor L. Markov}, title = {Solution and Optimization of Systems of Pseudo-Boolean Constraints}, journal = {{IEEE} Trans. Computers}, volume = {56}, number = {10}, pages = {1415--1424}, year = {2007}, url = {https://doi.org/10.1109/TC.2007.1075}, doi = {10.1109/TC.2007.1075}, timestamp = {Mon, 13 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tc/AloulRSM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/SafarpourMVLS07, author = {Sean Safarpour and Hratch Mangassarian and Andreas G. Veneris and Mark H. Liffiton and Karem A. Sakallah}, title = {Improved Design Debugging Using Maximum Satisfiability}, booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference, {FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings}, pages = {13--19}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/FAMCAD.2007.26}, doi = {10.1109/FAMCAD.2007.26}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fmcad/SafarpourMVLS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sat/2007, editor = {Jo{\~{a}}o Marques{-}Silva and Karem A. Sakallah}, title = {Theory and Applications of Satisfiability Testing - {SAT} 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4501}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72788-0}, doi = {10.1007/978-3-540-72788-0}, isbn = {978-3-540-72787-3}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sat/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jair/RamaniMSA06, author = {Arathi Ramani and Igor L. Markov and Karem A. Sakallah and Fadi A. Aloul}, title = {Breaking Instance-Independent Symmetries In Exact Graph Coloring}, journal = {J. Artif. Intell. Res.}, volume = {26}, pages = {289--322}, year = {2006}, url = {https://doi.org/10.1613/jair.1637}, doi = {10.1613/JAIR.1637}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jair/RamaniMSA06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsat/SheiniS06, author = {Hossein M. Sheini and Karem A. Sakallah}, title = {Pueblo: {A} Hybrid Pseudo-Boolean {SAT} Solver}, journal = {J. Satisf. Boolean Model. Comput.}, volume = {2}, number = {1-4}, pages = {165--189}, year = {2006}, url = {https://doi.org/10.3233/sat190020}, doi = {10.3233/SAT190020}, timestamp = {Mon, 17 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsat/SheiniS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tc/AloulSM06, author = {Fadi A. Aloul and Karem A. Sakallah and Igor L. Markov}, title = {Efficient Symmetry Breaking for Boolean Satisfiability}, journal = {{IEEE} Trans. Computers}, volume = {55}, number = {5}, pages = {549--558}, year = {2006}, url = {https://doi.org/10.1109/TC.2006.75}, doi = {10.1109/TC.2006.75}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tc/AloulSM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aspdac/AndrausLS06, author = {Zaher S. Andraus and Mark H. Liffiton and Karem A. Sakallah}, editor = {Fumiyasu Hirose}, title = {Refinement strategies for verification methods based on datapath abstraction}, booktitle = {Proceedings of the 2006 Conference on Asia South Pacific Design Automation: {ASP-DAC} 2006, Yokohama, Japan, January 24-27, 2006}, pages = {19--24}, publisher = {{IEEE}}, year = {2006}, url = {https://doi.org/10.1109/ASPDAC.2006.1594639}, doi = {10.1109/ASPDAC.2006.1594639}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/aspdac/AndrausLS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/SheiniS06, author = {Hossein M. Sheini and Karem A. Sakallah}, title = {Ario: {A} Linear Integer Arithmetic Logic Solver}, booktitle = {Formal Methods in Computer-Aided Design, 6th International Conference, {FMCAD} 2006, San Jose, California, USA, November 12-16, 2006, Proceedings}, pages = {47--48}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/FMCAD.2006.7}, doi = {10.1109/FMCAD.2006.7}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fmcad/SheiniS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/SheiniS06, author = {Hossein M. Sheini and Karem A. Sakallah}, editor = {Soha Hassoun}, title = {SMT(\emph{CLU}): a step toward scalability in system verification}, booktitle = {2006 International Conference on Computer-Aided Design, {ICCAD} 2006, San Jose, CA, USA, November 5-9, 2006}, pages = {844--851}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1233501.1233680}, doi = {10.1145/1233501.1233680}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccad/SheiniS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/SheiniS06, author = {Hossein M. Sheini and Karem A. Sakallah}, editor = {Armin Biere and Carla P. Gomes}, title = {From Propositional Satisfiability to Satisfiability Modulo Theories}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4121}, pages = {1--9}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11814948\_1}, doi = {10.1007/11814948\_1}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/SheiniS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/SheiniS06a, author = {Hossein M. Sheini and Karem A. Sakallah}, editor = {Armin Biere and Carla P. Gomes}, title = {A Progressive Simplifier for Satisfiability Modulo Theories}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4121}, pages = {184--197}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11814948\_20}, doi = {10.1007/11814948\_20}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/SheiniS06a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dt/MneimnehS05, author = {Maher N. Mneimneh and Karem A. Sakallah}, title = {Principles of Sequential-Equivalence Verification}, journal = {{IEEE} Des. Test Comput.}, volume = {22}, number = {3}, pages = {248--257}, year = {2005}, url = {https://doi.org/10.1109/MDT.2005.68}, doi = {10.1109/MDT.2005.68}, timestamp = {Sun, 17 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dt/MneimnehS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aspdac/AloulRMS05, author = {Fadi A. Aloul and Arathi Ramani and Igor L. Markov and Karem A. Sakallah}, editor = {Tingao Tang}, title = {Dynamic symmetry-breaking for improved Boolean optimization}, booktitle = {Proceedings of the 2005 Conference on Asia South Pacific Design Automation, {ASP-DAC} 2005, Shanghai, China, January 18-21, 2005}, pages = {445--450}, publisher = {{ACM} Press}, year = {2005}, url = {https://doi.org/10.1145/1120725.1120909}, doi = {10.1145/1120725.1120909}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/aspdac/AloulRMS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/SheiniPSP05, author = {Hossein M. Sheini and Bart Peintner and Karem A. Sakallah and Martha E. Pollack}, editor = {Peter van Beek}, title = {On Solving Soft Temporal Constraints Using {SAT} Techniques}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3709}, pages = {607--621}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11564751\_45}, doi = {10.1007/11564751\_45}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/cp/SheiniPSP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/SheiniS05, author = {Hossein M. Sheini and Karem A. Sakallah}, editor = {Roman Bart{\'{a}}k and Michela Milano}, title = {A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, Second International Conference, {CPAIOR} 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3524}, pages = {320--335}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11493853\_24}, doi = {10.1007/11493853\_24}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/SheiniS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/SheiniS05, author = {Hossein M. Sheini and Karem A. Sakallah}, title = {Pueblo: {A} Modern Pseudo-Boolean {SAT} Solver}, booktitle = {2005 Design, Automation and Test in Europe Conference and Exposition {(DATE} 2005), 7-11 March 2005, Munich, Germany}, pages = {684--685}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/DATE.2005.246}, doi = {10.1109/DATE.2005.246}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/SheiniS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/LiffitonMPS05, author = {Mark H. Liffiton and Michael D. Moffitt and Martha E. Pollack and Karem A. Sakallah}, editor = {Leslie Pack Kaelbling and Alessandro Saffiotti}, title = {Identifying Conflicts in Overconstrained Temporal Problems}, booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005}, pages = {205--211}, publisher = {Professional Book Center}, year = {2005}, url = {http://ijcai.org/Proceedings/05/Papers/1263.pdf}, timestamp = {Tue, 20 Aug 2019 16:16:29 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/LiffitonMPS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/LiffitonS05, author = {Mark H. Liffiton and Karem A. Sakallah}, editor = {Fahiem Bacchus and Toby Walsh}, title = {On Finding All Minimally Unsatisfiable Subformulas}, booktitle = {Theory and Applications of Satisfiability Testing, 8th International Conference, {SAT} 2005, St. Andrews, UK, June 19-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3569}, pages = {173--186}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11499107\_13}, doi = {10.1007/11499107\_13}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/LiffitonS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/SheiniS05, author = {Hossein M. Sheini and Karem A. Sakallah}, editor = {Fahiem Bacchus and Toby Walsh}, title = {A Scalable Method for Solving Satisfiability of Integer Linear Arithmetic Logic}, booktitle = {Theory and Applications of Satisfiability Testing, 8th International Conference, {SAT} 2005, St. Andrews, UK, June 19-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3569}, pages = {241--256}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11499107\_18}, doi = {10.1007/11499107\_18}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/SheiniS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/MneimnehLASS05, author = {Maher N. Mneimneh and In{\^{e}}s Lynce and Zaher S. Andraus and Jo{\~{a}}o Marques{-}Silva and Karem A. Sakallah}, editor = {Fahiem Bacchus and Toby Walsh}, title = {A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas}, booktitle = {Theory and Applications of Satisfiability Testing, 8th International Conference, {SAT} 2005, St. Andrews, UK, June 19-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3569}, pages = {467--474}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11499107\_40}, doi = {10.1007/11499107\_40}, timestamp = {Mon, 03 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/MneimnehLASS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/AloulMS04, author = {Fadi A. Aloul and Igor L. Markov and Karem A. Sakallah}, title = {{MINCE:} {A} Static Global Variable-Ordering Heuristic for {SAT} Search and {BDD} Manipulation}, journal = {J. Univers. Comput. Sci.}, volume = {10}, number = {12}, pages = {1562--1596}, year = {2004}, url = {https://doi.org/10.3217/jucs-010-12-1562}, doi = {10.3217/JUCS-010-12-1562}, timestamp = {Thu, 07 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jucs/AloulMS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tc/NamASR04, author = {Gi{-}Joon Nam and Fadi A. Aloul and Karem A. Sakallah and Rob A. Rutenbar}, title = {A Comparative Study of Two Boolean Formulations of {FPGA} Detailed Routing Constraints}, journal = {{IEEE} Trans. Computers}, volume = {53}, number = {6}, pages = {688--696}, year = {2004}, url = {https://doi.org/10.1109/TC.2004.1}, doi = {10.1109/TC.2004.1}, timestamp = {Fri, 22 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tc/NamASR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aspdac/MneimnehSM04, author = {Maher N. Mneimneh and Karem A. Sakallah and John Moondanos}, editor = {Masaharu Imai}, title = {Preserving synchronizing sequences of sequential circuits after retiming}, booktitle = {Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, Yokohama, Japan, January 27-30, 2004}, pages = {579--584}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.ieeecomputersociety.org/10.1109/ASPDAC.2004.167}, doi = {10.1109/ASPDAC.2004.167}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aspdac/MneimnehSM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aspdac/AloulRMS04, author = {Fadi A. Aloul and Arathi Ramani and Igor L. Markov and Karem A. Sakallah}, editor = {Masaharu Imai}, title = {ShatterPB: symmetry-breaking for pseudo-Boolean formulas}, booktitle = {Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, Yokohama, Japan, January 27-30, 2004}, pages = {883--886}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.ieeecomputersociety.org/10.1109/ASPDAC.2004.179}, doi = {10.1109/ASPDAC.2004.179}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aspdac/AloulRMS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/AndrausS04, author = {Zaher S. Andraus and Karem A. Sakallah}, editor = {Sharad Malik and Limor Fix and Andrew B. Kahng}, title = {Automatic abstraction and verification of verilog models}, booktitle = {Proceedings of the 41th Design Automation Conference, {DAC} 2004, San Diego, CA, USA, June 7-11, 2004}, pages = {218--223}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/996566.996629}, doi = {10.1145/996566.996629}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/AndrausS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/OhMASM04, author = {Yoonna Oh and Maher N. Mneimneh and Zaher S. Andraus and Karem A. Sakallah and Igor L. Markov}, editor = {Sharad Malik and Limor Fix and Andrew B. Kahng}, title = {{AMUSE:} a minimally-unsatisfiable subformula extractor}, booktitle = {Proceedings of the 41th Design Automation Conference, {DAC} 2004, San Diego, CA, USA, June 7-11, 2004}, pages = {518--523}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/996566.996710}, doi = {10.1145/996566.996710}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/OhMASM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/DargaLSM04, author = {Paul T. Darga and Mark H. Liffiton and Karem A. Sakallah and Igor L. Markov}, editor = {Sharad Malik and Limor Fix and Andrew B. Kahng}, title = {Exploiting structure in symmetry detection for {CNF}}, booktitle = {Proceedings of the 41th Design Automation Conference, {DAC} 2004, San Diego, CA, USA, June 7-11, 2004}, pages = {530--534}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/996566.996712}, doi = {10.1145/996566.996712}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/DargaLSM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/RamaniAMS04, author = {Arathi Ramani and Fadi A. Aloul and Igor L. Markov and Karem A. Sakallah}, title = {Breaking Instance-Independent Symmetries in Exact Graph Coloring}, booktitle = {2004 Design, Automation and Test in Europe Conference and Exposition {(DATE} 2004), 16-20 February 2004, Paris, France}, pages = {324--331}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/DATE.2004.1268868}, doi = {10.1109/DATE.2004.1268868}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/RamaniAMS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/XuRS03, author = {Hui Xu and Rob A. Rutenbar and Karem A. Sakallah}, title = {sub-SAT: a formulation for relaxed Boolean satisfiability with applications in routing}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {22}, number = {6}, pages = {814--820}, year = {2003}, url = {https://doi.org/10.1109/TCAD.2003.811450}, doi = {10.1109/TCAD.2003.811450}, timestamp = {Fri, 22 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcad/XuRS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/AloulSS03, author = {Fadi A. Aloul and Brian D. Sierawski and Karem A. Sakallah}, title = {Satometer: how much have we searched?}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {22}, number = {8}, pages = {995--1004}, year = {2003}, url = {https://doi.org/10.1109/TCAD.2003.814960}, doi = {10.1109/TCAD.2003.814960}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/AloulSS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/AloulRMS03, author = {Fadi A. Aloul and Arathi Ramani and Igor L. Markov and Karem A. Sakallah}, title = {Solving difficult instances of Boolean satisfiability in the presence of symmetry}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {22}, number = {9}, pages = {1117--1137}, year = {2003}, url = {https://doi.org/10.1109/TCAD.2003.816218}, doi = {10.1109/TCAD.2003.816218}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/AloulRMS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/todaes/RiepeS03, author = {Michael A. Riepe and Karem A. Sakallah}, title = {Transistor placement for noncomplementary digital {VLSI} cell synthesis}, journal = {{ACM} Trans. Design Autom. Electr. Syst.}, volume = {8}, number = {1}, pages = {81--107}, year = {2003}, url = {https://doi.org/10.1145/606603.606608}, doi = {10.1145/606603.606608}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/todaes/RiepeS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aspdac/MneimnehS03, author = {Maher N. Mneimneh and Karem A. Sakallah}, editor = {Hiroto Yasuura}, title = {SAT-based sequential depth computation}, booktitle = {Proceedings of the 2003 Asia and South Pacific Design Automation Conference, {ASP-DAC} '03, Kitakyushu, Japan, January 21-24, 2003}, pages = {87--92}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/1119772.1119790}, doi = {10.1145/1119772.1119790}, timestamp = {Thu, 11 Mar 2021 17:04:51 +0100}, biburl = {https://dblp.org/rec/conf/aspdac/MneimnehS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/AloulMS03, author = {Fadi A. Aloul and Igor L. Markov and Karem A. Sakallah}, title = {Shatter: efficient symmetry-breaking for boolean satisfiability}, booktitle = {Proceedings of the 40th Design Automation Conference, {DAC} 2003, Anaheim, CA, USA, June 2-6, 2003}, pages = {836--839}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/775832.776042}, doi = {10.1145/775832.776042}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/AloulMS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/glvlsi/AloulMS03, author = {Fadi A. Aloul and Igor L. Markov and Karem A. Sakallah}, editor = {Mircea R. Stan and David Garrett and Kazuo Nakajima}, title = {{FORCE:} a fast and easy-to-implement variable-ordering heuristic}, booktitle = {Proceedings of the 13th {ACM} Great Lakes Symposium on {VLSI} 2003, Washington, DC, USA, April 28-29, 2003}, pages = {116--119}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/764808.764839}, doi = {10.1145/764808.764839}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/glvlsi/AloulMS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/AloulSM03, author = {Fadi A. Aloul and Karem A. Sakallah and Igor L. Markov}, editor = {Georg Gottlob and Toby Walsh}, title = {Efficient Symmetry Breaking for Boolean Satisfiability}, booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003}, pages = {271--276}, publisher = {Morgan Kaufmann}, year = {2003}, url = {http://ijcai.org/Proceedings/03/Papers/040.pdf}, timestamp = {Tue, 20 Aug 2019 16:18:41 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/AloulSM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/MneimnehS03, author = {Maher N. Mneimneh and Karem A. Sakallah}, editor = {Enrico Giunchiglia and Armando Tacchella}, title = {Computing Vertex Eccentricity in Exponentially Large Graphs: {QBF} Formulation and Solution}, booktitle = {Theory and Applications of Satisfiability Testing, 6th International Conference, {SAT} 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2919}, pages = {411--425}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-24605-3\_31}, doi = {10.1007/978-3-540-24605-3\_31}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/MneimnehS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/NamSR02, author = {Gi{-}Joon Nam and Karem A. Sakallah and Rob A. Rutenbar}, title = {A new {FPGA} detailed routing approach via search-based Booleansatisfiability}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {21}, number = {6}, pages = {674--684}, year = {2002}, url = {https://doi.org/10.1109/TCAD.2002.1004311}, doi = {10.1109/TCAD.2002.1004311}, timestamp = {Fri, 22 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcad/NamSR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/todaes/SilvaMSS02, author = {Lu{\'{\i}}s Guerra e Silva and Jo{\~{a}}o Marques{-}Silva and Lu{\'{\i}}s Miguel Silveira and Karem A. Sakallah}, title = {Satisfiability models and algorithms for circuit delay computation}, journal = {{ACM} Trans. Design Autom. Electr. Syst.}, volume = {7}, number = {1}, pages = {137--158}, year = {2002}, url = {https://doi.org/10.1145/504914.504920}, doi = {10.1145/504914.504920}, timestamp = {Mon, 03 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/todaes/SilvaMSS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/AloulRMS02, author = {Fadi A. Aloul and Arathi Ramani and Igor L. Markov and Karem A. Sakallah}, title = {Solving difficult {SAT} instances in the presence of symmetry}, booktitle = {Proceedings of the 39th Design Automation Conference, {DAC} 2002, New Orleans, LA, USA, June 10-14, 2002}, pages = {731--736}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/513918.514102}, doi = {10.1145/513918.514102}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/AloulRMS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/AloulSS02, author = {Fadi A. Aloul and Brian D. Sierawski and Karem A. Sakallah}, title = {Satometer: how much have we searched?}, booktitle = {Proceedings of the 39th Design Automation Conference, {DAC} 2002, New Orleans, LA, USA, June 10-14, 2002}, pages = {737--742}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/513918.514103}, doi = {10.1145/513918.514103}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/AloulSS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/AloulMS02, author = {Fadi A. Aloul and Maher N. Mneimneh and Karem A. Sakallah}, title = {Search-Based {SAT} Using Zero-Suppressed BDDs}, booktitle = {2002 Design, Automation and Test in Europe Conference and Exposition {(DATE} 2002), 4-8 March 2002, Paris, France}, pages = {1082}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/DATE.2002.998438}, doi = {10.1109/DATE.2002.998438}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/AloulMS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fpl/NamSR02, author = {Gi{-}Joon Nam and Karem A. Sakallah and Rob A. Rutenbar}, editor = {Manfred Glesner and Peter Zipf and Michel Renovell}, title = {Hybrid Routing for FPGAs by Integrating Boolean Satisfiability with Geometric Search}, booktitle = {Field-Programmable Logic and Applications, Reconfigurable Computing Is Going Mainstream, 12th International Conference, {FPL} 2002, Montpellier, France, September 2-4, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2438}, pages = {360--369}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-46117-5\_38}, doi = {10.1007/3-540-46117-5\_38}, timestamp = {Thu, 21 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fpl/NamSR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/AloulRMS02, author = {Fadi A. Aloul and Arathi Ramani and Igor L. Markov and Karem A. Sakallah}, editor = {Lawrence T. Pileggi and Andreas Kuehlmann}, title = {Generic {ILP} versus specialized 0-1 {ILP:} an update}, booktitle = {Proceedings of the 2002 {IEEE/ACM} International Conference on Computer-aided Design, {ICCAD} 2002, San Jose, California, USA, November 10-14, 2002}, pages = {450--457}, publisher = {{ACM} / {IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1145/774572.774638}, doi = {10.1145/774572.774638}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccad/AloulRMS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/KravetsS02, author = {Victor N. Kravets and Karem A. Sakallah}, editor = {Lawrence T. Pileggi and Andreas Kuehlmann}, title = {Resynthesis of multi-level circuits under tight constraints using symbolic optimization}, booktitle = {Proceedings of the 2002 {IEEE/ACM} International Conference on Computer-aided Design, {ICCAD} 2002, San Jose, California, USA, November 10-14, 2002}, pages = {687--693}, publisher = {{ACM} / {IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1145/774572.774673}, doi = {10.1145/774572.774673}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccad/KravetsS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccd/AloulMS02, author = {Fadi A. Aloul and Igor L. Markov and Karem A. Sakallah}, title = {Improving the Efficiency of Circuit-to-BDD Conversion by Gate and Input Ordering}, booktitle = {20th International Conference on Computer Design {(ICCD} 2002), {VLSI} in Computers and Processors, 16-18 September 2002, Freiburg, Germany, Proceedings}, pages = {64--69}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/ICCD.2002.1106749}, doi = {10.1109/ICCD.2002.1106749}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccd/AloulMS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ispd/XuRS02, author = {Hui Xu and Rob A. Rutenbar and Karem A. Sakallah}, editor = {Sachin S. Sapatnekar and Massoud Pedram}, title = {sub-SAT: a formulation for relaxed boolean satisfiability with applications in routing}, booktitle = {Proceedings of 2002 International Symposium on Physical Design, {ISPD} 2002, Del Mar, CA, USA, April 7-10, 2002}, pages = {182--187}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/505388.505432}, doi = {10.1145/505388.505432}, timestamp = {Tue, 06 Nov 2018 11:07:47 +0100}, biburl = {https://dblp.org/rec/conf/ispd/XuRS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwls/AloulMS02, author = {Fadi A. Aloul and Maher N. Mneimneh and Karem A. Sakallah}, title = {ZBDD-Based Backtrack Search {SAT} Solver}, booktitle = {11th {IEEE/ACM} International Workshop on Logic {\&} Synthesis, {IWLS} 2002, June 4-7, 2002, New Orleans, Louisiana, {USA}}, pages = {131--136}, year = {2002}, timestamp = {Sun, 04 Aug 2019 18:01:44 +0200}, biburl = {https://dblp.org/rec/conf/iwls/AloulMS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwls/AloulMS02a, author = {Fadi A. Aloul and Igor L. Markov and Karem A. Sakallah}, title = {Efficient Gate and Input Ordering for Circuit-to-BDD Conversion}, booktitle = {11th {IEEE/ACM} International Workshop on Logic {\&} Synthesis, {IWLS} 2002, June 4-7, 2002, New Orleans, Louisiana, {USA}}, pages = {137--142}, year = {2002}, timestamp = {Sun, 04 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iwls/AloulMS02a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwls/NazhandaliS02, author = {Leyla Nazhandali and Karem A. Sakallah}, title = {Majority-Based Decomposition of Carry Logic in Binary Adders}, booktitle = {11th {IEEE/ACM} International Workshop on Logic {\&} Synthesis, {IWLS} 2002, June 4-7, 2002, New Orleans, Louisiana, {USA}}, pages = {179--184}, year = {2002}, timestamp = {Sun, 04 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iwls/NazhandaliS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/patmos/AloulHSB02, author = {Fadi A. Aloul and Soha Hassoun and Karem A. Sakallah and David T. Blaauw}, editor = {Bertrand Hochet and Antonio J. Acosta and Manuel J. Bellido}, title = {Robust SAT-Based Search Algorithm for Leakage Power Reduction}, booktitle = {Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation, 12th International Workshop, {PATMOS} 2002, Seville, Spain, September 11-13, 2002}, series = {Lecture Notes in Computer Science}, volume = {2451}, pages = {167--177}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45716-X\_17}, doi = {10.1007/3-540-45716-X\_17}, timestamp = {Fri, 03 Jun 2022 08:18:13 +0200}, biburl = {https://dblp.org/rec/conf/patmos/AloulHSB02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/YalcinMPBSH01, author = {Hakan Yalcin and Mohammad Mortazavi and Robert Palermo and Cyrus Bamji and Karem A. Sakallah and John P. Hayes}, title = {Fast and accurate timing characterization using functionalinformation}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {20}, number = {2}, pages = {315--331}, year = {2001}, url = {https://doi.org/10.1109/43.908474}, doi = {10.1109/43.908474}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/YalcinMPBSH01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/MneimnehAWCSA01, author = {Maher N. Mneimneh and Fadi A. Aloul and Christopher T. Weaver and Saugata Chatterjee and Karem A. Sakallah and Todd M. Austin}, title = {Scalable Hybrid Verification of Complex Microprocessors}, booktitle = {Proceedings of the 38th Design Automation Conference, {DAC} 2001, Las Vegas, NV, USA, June 18-22, 2001}, pages = {41--46}, publisher = {{ACM}}, year = {2001}, url = {https://doi.org/10.1145/378239.378265}, doi = {10.1145/378239.378265}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/MneimnehAWCSA01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/WhittemoreKS01, author = {Jesse Whittemore and Joonyoung Kim and Karem A. Sakallah}, title = {{SATIRE:} {A} New Incremental Satisfiability Engine}, booktitle = {Proceedings of the 38th Design Automation Conference, {DAC} 2001, Las Vegas, NV, USA, June 18-22, 2001}, pages = {542--545}, publisher = {{ACM}}, year = {2001}, url = {https://doi.org/10.1145/378239.379019}, doi = {10.1145/378239.379019}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/WhittemoreKS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/YalcinPMBSH01, author = {Hakan Yalcin and Robert Palermo and Mohammad Mortazavi and Cyrus Bamji and Karem A. Sakallah and John P. Hayes}, title = {An Advanced Timing Characterization Method Using Mode Dependency}, booktitle = {Proceedings of the 38th Design Automation Conference, {DAC} 2001, Las Vegas, NV, USA, June 18-22, 2001}, pages = {657--660}, publisher = {{ACM}}, year = {2001}, url = {https://doi.org/10.1145/378239.379042}, doi = {10.1145/378239.379042}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/YalcinPMBSH01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/NamSR01, author = {Gi{-}Joon Nam and Karem A. Sakallah and Rob A. Rutenbar}, editor = {Wolfgang Nebel and Ahmed Jerraya}, title = {A boolean satisfiability-based incremental rerouting approach with application to FPGAs}, booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe, {DATE} 2001, Munich, Germany, March 12-16, 2001}, pages = {560--565}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/DATE.2001.915079}, doi = {10.1109/DATE.2001.915079}, timestamp = {Fri, 22 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/NamSR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/AloulMS01, author = {Fadi A. Aloul and Igor L. Markov and Karem A. Sakallah}, editor = {Rolf Ernst}, title = {Faster {SAT} and Smaller BDDs via Common Function Structure}, booktitle = {Proceedings of the 2001 {IEEE/ACM} International Conference on Computer-Aided Design, {ICCAD} 2001, San Jose, CA, USA, November 4-8, 2001}, pages = {443--448}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/ICCAD.2001.968669}, doi = {10.1109/ICCAD.2001.968669}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccad/AloulMS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ispd/NamASR01, author = {Gi{-}Joon Nam and Fadi A. Aloul and Karem A. Sakallah and Rob A. Rutenbar}, editor = {Sachin S. Sapatnekar and Manfred Wiesel}, title = {A comparative study of two Boolean formulations of {FPGA} detailed routing constraints}, booktitle = {Proceedings of the 2001 International Symposium on Physical Design, {ISPD} 2001, Sonoma County, CA, USA, April 1-4, 2001}, pages = {222--227}, publisher = {{ACM}}, year = {2001}, url = {https://doi.org/10.1145/369691.369777}, doi = {10.1145/369691.369777}, timestamp = {Fri, 22 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ispd/NamASR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/Marques-SilvaS00, author = {Jo{\~{a}}o Marques{-}Silva and Karem A. Sakallah}, editor = {E. Allen Emerson and A. Prasad Sistla}, title = {Invited Tutorial: Boolean Satisfiability Algorithms and Applications in Electronic Design Automation}, booktitle = {Computer Aided Verification, 12th International Conference, {CAV} 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1855}, pages = {3}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722167\_3}, doi = {10.1007/10722167\_3}, timestamp = {Mon, 03 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/Marques-SilvaS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/SilvaS00, author = {Jo{\~{a}}o P. Marques Silva and Karem A. Sakallah}, editor = {Giovanni De Micheli}, title = {Boolean satisfiability in electronic design automation}, booktitle = {Proceedings of the 37th Conference on Design Automation, Los Angeles, CA, USA, June 5-9, 2000}, pages = {675--680}, publisher = {{ACM}}, year = {2000}, url = {https://doi.org/10.1145/337292.337611}, doi = {10.1145/337292.337611}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/SilvaS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/KravetsS00, author = {Victor N. Kravets and Karem A. Sakallah}, editor = {Ivo Bolsens}, title = {Constructive Library-Aware Synthesis Using Symmetries}, booktitle = {2000 Design, Automation and Test in Europe {(DATE} 2000), 27-30 March 2000, Paris, France}, pages = {208--213}, publisher = {{IEEE} Computer Society / {ACM}}, year = {2000}, url = {https://doi.org/10.1109/DATE.2000.840040}, doi = {10.1109/DATE.2000.840040}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/KravetsS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/KimWSS00, author = {Joonyoung Kim and Jesse Whittemore and Karem A. Sakallah and Jo{\~{a}}o P. Marques Silva}, editor = {Ivo Bolsens}, title = {On Applying Incremental Satisfiability to Delay Fault Testing}, booktitle = {2000 Design, Automation and Test in Europe {(DATE} 2000), 27-30 March 2000, Paris, France}, pages = {380--384}, publisher = {{IEEE} Computer Society / {ACM}}, year = {2000}, url = {https://doi.org/10.1109/DATE.2000.840299}, doi = {10.1109/DATE.2000.840299}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/KimWSS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/SakallahAS00, author = {Karem A. Sakallah and Fadi A. Aloul and Jo{\~{a}}o P. Marques Silva}, editor = {Ivo Bolsens}, title = {An Experimental Study of Satisfiability Search Heuristics}, booktitle = {2000 Design, Automation and Test in Europe {(DATE} 2000), 27-30 March 2000, Paris, France}, pages = {745}, publisher = {{IEEE} Computer Society / {ACM}}, year = {2000}, url = {https://doi.org/10.1109/DATE.2000.840878}, doi = {10.1109/DATE.2000.840878}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/SakallahAS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/KravetsS00, author = {Victor N. Kravets and Karem A. Sakallah}, editor = {Ellen Sentovich}, title = {Generalized Symmetries in Boolean Functions}, booktitle = {Proceedings of the 2000 {IEEE/ACM} International Conference on Computer-Aided Design, 2000, San Jose, California, USA, November 5-9, 2000}, pages = {526--532}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/ICCAD.2000.896526}, doi = {10.1109/ICCAD.2000.896526}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccad/KravetsS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccd/KimWS00, author = {Joonyoung Kim and Jesse Whittemore and Karem A. Sakallah}, title = {On Solving Stack-Based Incremental Satisfiability Problems}, booktitle = {Proceedings of the {IEEE} International Conference On Computer Design: {VLSI} In Computers {\&} Processors, {ICCD} '00, Austin, Texas, USA, September 17-20, 2000}, pages = {379--382}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/ICCD.2000.878311}, doi = {10.1109/ICCD.2000.878311}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccd/KimWS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tc/Marques-SilvaS99, author = {Jo{\~{a}}o P. Marques Silva and Karem A. Sakallah}, title = {{GRASP:} {A} Search Algorithm for Propositional Satisfiability}, journal = {{IEEE} Trans. Computers}, volume = {48}, number = {5}, pages = {506--521}, year = {1999}, url = {https://doi.org/10.1109/12.769433}, doi = {10.1109/12.769433}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tc/Marques-SilvaS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/CampenhoutMS99, author = {David Van Campenhout and Trevor N. Mudge and Karem A. Sakallah}, title = {Timing verification of sequential dynamic circuits}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {18}, number = {5}, pages = {645--658}, year = {1999}, url = {https://doi.org/10.1109/43.759081}, doi = {10.1109/43.759081}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/CampenhoutMS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/YalcinMPBS99, author = {Hakan Yalcin and Mohammad Mortazavi and Robert Palermo and Cyrus Bamji and Karem A. Sakallah}, editor = {Mary Jane Irwin}, title = {Functional Timing Analysis for {IP} Characterization}, booktitle = {Proceedings of the 36th Conference on Design Automation, New Orleans, LA, USA, June 21-25, 1999}, pages = {731--736}, publisher = {{ACM} Press}, year = {1999}, url = {https://doi.org/10.1145/309847.310045}, doi = {10.1145/309847.310045}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/YalcinMPBS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fpga/NamSR99, author = {Gi{-}Joon Nam and Karem A. Sakallah and Rob A. Rutenbar}, editor = {Sinan Kaptanoglu and Steve Trimberger}, title = {Satisfiability-Based Layout Revisited: Detailed Routing of Complex FPGAs vis Search-Based Boolean {SAT}}, booktitle = {Proceedings of the 1999 {ACM/SIGDA} Seventh International Symposium on Field Programmable Gate Arrays, {FPGA} 1999, Monterey, CA, USA, February 21-23, 1999}, pages = {167--175}, publisher = {{ACM}}, year = {1999}, url = {https://doi.org/10.1145/296399.296450}, doi = {10.1145/296399.296450}, timestamp = {Tue, 06 Nov 2018 16:58:22 +0100}, biburl = {https://dblp.org/rec/conf/fpga/NamSR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip10-5/KimSS99, author = {Joonyoung Kim and Jo{\~{a}}o Marques{-}Silva and Karem A. Sakallah}, editor = {L. Miguel Silveira and Srinivas Devadas and Ricardo Augusto da Luz Reis}, title = {Satisfiability-Based Functional Delay Fault Testing}, booktitle = {{VLSI:} Systems on a Chip, {IFIP} {TC10/WG10.5} Tenth International Conference on Very Large Scale Integration {(VLSI} '99), December 1-4, 1999, Lisbon, Portugal}, series = {{IFIP} Conference Proceedings}, volume = {162}, pages = {362--372}, publisher = {Kluwer}, year = {1999}, timestamp = {Mon, 03 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip10-5/KimSS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ispd/RiepeS99, author = {Michael A. Riepe and Karem A. Sakallah}, editor = {D. F. Wong}, title = {Transistor level micro-placement and routing for two-dimensional digital {VLSI} cell synthesis}, booktitle = {Proceedings of the 1999 International Symposium on Physical Design, {ISPD} 1999, Monterey, CA, USA, April 12-14, 1999}, pages = {74--81}, publisher = {{ACM}}, year = {1999}, url = {https://doi.org/10.1145/299996.300028}, doi = {10.1145/299996.300028}, timestamp = {Sun, 02 Oct 2022 16:10:02 +0200}, biburl = {https://dblp.org/rec/conf/ispd/RiepeS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vlsid/NamSR99, author = {Gi{-}Joon Nam and Karem A. Sakallah and Rob A. Rutenbar}, title = {Satisfiability-Based Detailed {FPGA} Routing}, booktitle = {12th International Conference on {VLSI} Design {(VLSI} Design 1999), 10-13 January 1999, Goa, India}, pages = {574--577}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/ICVD.1999.745216}, doi = {10.1109/ICVD.1999.745216}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vlsid/NamSR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/todaes/RiepeS98, author = {Michael A. Riepe and Karem A. Sakallah}, title = {The edge-based design rule model revisited}, journal = {{ACM} Trans. Design Autom. Electr. Syst.}, volume = {3}, number = {3}, pages = {463--486}, year = {1998}, url = {https://doi.org/10.1145/293625.293633}, doi = {10.1145/293625.293633}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/todaes/RiepeS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tvlsi/BrownBLAPBGSGFCMSLM98, author = {Richard B. Brown and Bruce Bernhardt and M. LaMacchia and J. Abrokwah and Phiroze N. Parakh and Todd D. Basso and Spencer M. Gold and S. Stetson and Claude R. Gauthier and D. Foster and B. Crawforth and T. McQuire and Karem A. Sakallah and Ronald J. Lomax and Trevor N. Mudge}, title = {Overview of complementary GaAs technology for high-speed {VLSI} circuits}, journal = {{IEEE} Trans. Very Large Scale Integr. Syst.}, volume = {6}, number = {1}, pages = {47--51}, year = {1998}, url = {https://doi.org/10.1109/92.661245}, doi = {10.1109/92.661245}, timestamp = {Wed, 11 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tvlsi/BrownBLAPBGSGFCMSLM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/ParakhBS98, author = {Phiroze N. Parakh and Richard B. Brown and Karem A. Sakallah}, editor = {Basant R. Chawla and Randal E. Bryant and Jan M. Rabaey}, title = {Congestion Driven Quadratic Placement}, booktitle = {Proceedings of the 35th Conference on Design Automation, Moscone center, San Francico, California, USA, June 15-19, 1998}, pages = {275--278}, publisher = {{ACM} Press}, year = {1998}, url = {https://doi.org/10.1145/277044.277121}, doi = {10.1145/277044.277121}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/ParakhBS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/KravetsS98, author = {Victor N. Kravets and Karem A. Sakallah}, editor = {Basant R. Chawla and Randal E. Bryant and Jan M. Rabaey}, title = {{M32:} {A} Constructive multilevel Logic Synthesis System}, booktitle = {Proceedings of the 35th Conference on Design Automation, Moscone center, San Francico, California, USA, June 15-19, 1998}, pages = {336--341}, publisher = {{ACM} Press}, year = {1998}, url = {https://doi.org/10.1145/277044.277140}, doi = {10.1145/277044.277140}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/KravetsS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/ChandramouliWS98, author = {V. Chandramouli and Jesse Whittemore and Karem A. Sakallah}, editor = {Patrick M. Dewilde and Franz J. Rammig and Gerry Musgrave}, title = {{AFTA:} {A} Formal Delay Model for Functional Timing Analysis}, booktitle = {1998 Design, Automation and Test in Europe {(DATE} '98), February 23-26, 1998, Le Palais des Congr{\`{e}}s de Paris, Paris, France}, pages = {350--355}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/DATE.1998.655881}, doi = {10.1109/DATE.1998.655881}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/ChandramouliWS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icecsys/SilvaSSS98, author = {Lu{\'{\i}}s Guerra e Silva and Jo{\~{a}}o P. Marques Silva and Lu{\'{\i}}s Miguel Silveira and Karem A. Sakallah}, title = {Timing analysis using propositional satisfiability}, booktitle = {5th {IEEE} International Conference on Electronics, Circuits and Systems, {ICECS} 1998, Surfing the Waves of Science and Technology, Lisbon, Portugal, September 7-10, 1998}, pages = {95--98}, publisher = {{IEEE}}, year = {1998}, url = {https://doi.org/10.1109/ICECS.1998.813943}, doi = {10.1109/ICECS.1998.813943}, timestamp = {Mon, 09 Aug 2021 14:54:04 +0200}, biburl = {https://dblp.org/rec/conf/icecsys/SilvaSSS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/arvlsi/ChandramouliSK97, author = {V. Chandramouli and Karem A. Sakallah and Ayman I. Kayssi}, title = {Signal Delay in Coupled, Distributed {RC} Lines in the Presence of Temporal Proximity}, booktitle = {17th Conference on Advanced Research in {VLSI} {(ARVLSI} '97), September 15-16, 1997, Ann Arbor, MI, {USA}}, pages = {32--46}, publisher = {{IEEE} Computer Society}, year = {1997}, url = {https://doi.org/10.1109/ARVLSI.1997.634844}, doi = {10.1109/ARVLSI.1997.634844}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/arvlsi/ChandramouliSK97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftcs/SilvaS97, author = {Jo{\~{a}}o P. Marques Silva and Karem A. Sakallah}, title = {Robust Search Algorithms for Test Pattern Generation}, booktitle = {Digest of Papers: FTCS-27, The Twenty-Seventh Annual International Symposium on Fault-Tolerant Computing, Seattle, Washington, USA, June 24-27, 1997}, pages = {152--161}, publisher = {{IEEE} Computer Society}, year = {1997}, url = {https://doi.org/10.1109/FTCS.1997.614088}, doi = {10.1109/FTCS.1997.614088}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ftcs/SilvaS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tvlsi/RiepeSSB96, author = {Michael A. Riepe and Jo{\~{a}}o P. Marques Silva and Karem A. Sakallah and Richard B. Brown}, title = {Ravel-XL: a hardware accelerator for assigned-delay compiled-code logic gate simulation}, journal = {{IEEE} Trans. Very Large Scale Integr. Syst.}, volume = {4}, number = {1}, pages = {113--129}, year = {1996}, url = {https://doi.org/10.1109/92.486085}, doi = {10.1109/92.486085}, timestamp = {Wed, 11 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tvlsi/RiepeSSB96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/ChandramouliS96, author = {V. Chandramouli and Karem A. Sakallah}, editor = {Thomas Pennino and Ellen J. Yoffa}, title = {Modeling the Effects of Temporal Proximity of Input Transitions on Gate Propagation Delay and Transition Time}, booktitle = {Proceedings of the 33st Conference on Design Automation, Las Vegas, Nevada, USA, Las Vegas Convention Center, June 3-7, 1996}, pages = {617--622}, publisher = {{ACM} Press}, year = {1996}, url = {https://doi.org/10.1145/240518.240635}, doi = {10.1145/240518.240635}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/ChandramouliS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/YalcinHS96, author = {Hakan Yalcin and John P. Hayes and Karem A. Sakallah}, editor = {Rob A. Rutenbar and Ralph H. J. M. Otten}, title = {An approximate timing analysis method for datapath circuits}, booktitle = {Proceedings of the 1996 {IEEE/ACM} International Conference on Computer-Aided Design, {ICCAD} 1996, San Jose, CA, USA, November 10-14, 1996}, pages = {114--118}, publisher = {{IEEE} Computer Society / {ACM}}, year = {1996}, url = {https://doi.org/10.1109/ICCAD.1996.569410}, doi = {10.1109/ICCAD.1996.569410}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccad/YalcinHS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/CampenhoutMS96, author = {David Van Campenhout and Trevor N. Mudge and Karem A. Sakallah}, editor = {Rob A. Rutenbar and Ralph H. J. M. Otten}, title = {Timing verification of sequential domino circuits}, booktitle = {Proceedings of the 1996 {IEEE/ACM} International Conference on Computer-Aided Design, {ICCAD} 1996, San Jose, CA, USA, November 10-14, 1996}, pages = {127--132}, publisher = {{IEEE} Computer Society / {ACM}}, year = {1996}, url = {https://doi.org/10.1109/ICCAD.1996.569418}, doi = {10.1109/ICCAD.1996.569418}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccad/CampenhoutMS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/SilvaS96, author = {Jo{\~{a}}o P. Marques Silva and Karem A. Sakallah}, editor = {Rob A. Rutenbar and Ralph H. J. M. Otten}, title = {{GRASP} - a new search algorithm for satisfiability}, booktitle = {Proceedings of the 1996 {IEEE/ACM} International Conference on Computer-Aided Design, {ICCAD} 1996, San Jose, CA, USA, November 10-14, 1996}, pages = {220--227}, publisher = {{IEEE} Computer Society / {ACM}}, year = {1996}, url = {https://doi.org/10.1109/ICCAD.1996.569607}, doi = {10.1109/ICCAD.1996.569607}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccad/SilvaS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictai/SilvaS96, author = {Jo{\~{a}}o P. Marques Silva and Karem A. Sakallah}, title = {Conflict Analysis in Search Algorithms for Satisfiability}, booktitle = {Eigth International Conference on Tools with Artificial Intelligence, {ICTAI} '96, Toulouse, France, November 16-19, 1996}, pages = {467--469}, publisher = {{IEEE} Computer Society}, year = {1996}, url = {https://doi.org/10.1109/TAI.1996.560789}, doi = {10.1109/TAI.1996.560789}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictai/SilvaS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/KayssiS95, author = {Ayman I. Kayssi and Karem A. Sakallah}, title = {Timing models for gallium arsenide direct-coupled {FET} logic circuits}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {14}, number = {3}, pages = {384--393}, year = {1995}, url = {https://doi.org/10.1109/43.365129}, doi = {10.1109/43.365129}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/KayssiS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/ChangDS95, author = {Chuan{-}Hua Chang and Edward S. Davidson and Karem A. Sakallah}, title = {Maximum rate single-phase clocking of a closed pipeline including wave pipelining, stoppability, and startability}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {14}, number = {12}, pages = {1526--1545}, year = {1995}, url = {https://doi.org/10.1109/43.476583}, doi = {10.1109/43.476583}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/ChangDS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tvlsi/BurksSM95, author = {Timothy M. Burks and Karem A. Sakallah and Trevor N. Mudge}, title = {Critical paths in circuits with level-sensitive latches}, journal = {{IEEE} Trans. Very Large Scale Integr. Syst.}, volume = {3}, number = {2}, pages = {273--291}, year = {1995}, url = {https://doi.org/10.1109/92.386227}, doi = {10.1109/92.386227}, timestamp = {Wed, 11 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tvlsi/BurksSM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/ChandnaKBRS95, author = {Ajay Chandna and C. David Kibler and Richard B. Brown and Mark Roberts and Karem A. Sakallah}, editor = {Bryan Preas}, title = {The Aurora {RAM} Compiler}, booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco, California, USA, Moscone Center, June 12-16, 1995}, pages = {261--266}, publisher = {{ACM} Press}, year = {1995}, url = {https://doi.org/10.1145/217474.217539}, doi = {10.1145/217474.217539}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/ChandnaKBRS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/SilvaS94, author = {Jo{\~{a}}o P. Marques Silva and Karem A. Sakallah}, editor = {Michael J. Lorenzetti}, title = {Dynamic Search-Space Pruning Techniques in Path Sensitization}, booktitle = {Proceedings of the 31st Conference on Design Automation, San Diego, California, USA, June 6-10, 1994}, pages = {705--711}, publisher = {{ACM} Press}, year = {1994}, url = {https://doi.org/10.1145/196244.196621}, doi = {10.1145/196244.196621}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/SilvaS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/BurksS94, author = {Timothy M. Burks and Karem A. Sakallah}, editor = {Jochen A. G. Jess and Richard L. Rudell}, title = {Optimization of critical paths in circuits with level-sensitive latches}, booktitle = {Proceedings of the 1994 {IEEE/ACM} International Conference on Computer-Aided Design, {ICCAD} 1994, San Jose, California, USA, November 6-10, 1994}, pages = {468--473}, publisher = {{IEEE} Computer Society / {ACM}}, year = {1994}, url = {https://doi.org/10.1109/ICCAD.1994.629849}, doi = {10.1109/ICCAD.1994.629849}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccad/BurksS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/SilvaS94, author = {Jo{\~{a}}o P. Marques Silva and Karem A. Sakallah}, title = {Efficient and Robust Test Generation-Based Timing Analysis}, booktitle = {1994 {IEEE} International Symposium on Circuits and Systems, {ISCAS} 1994, London, England, UK, May 30 - June 2, 1994}, pages = {303--306}, publisher = {{IEEE}}, year = {1994}, url = {https://doi.org/10.1109/ISCAS.1994.408815}, doi = {10.1109/ISCAS.1994.408815}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/iscas/SilvaS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/KayssiS94, author = {Ayman I. Kayssi and Karem A. Sakallah}, title = {Macromodel Simplification Using Dimensional Analysis}, booktitle = {1994 {IEEE} International Symposium on Circuits and Systems, {ISCAS} 1994, London, England, UK, May 30 - June 2, 1994}, pages = {335--338}, publisher = {{IEEE}}, year = {1994}, url = {https://doi.org/10.1109/ISCAS.1994.408864}, doi = {10.1109/ISCAS.1994.408864}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iscas/KayssiS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/SakallahMBD93, author = {Karem A. Sakallah and Trevor N. Mudge and Timothy M. Burks and Edward S. Davidson}, title = {Synchronization of pipelines}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {12}, number = {8}, pages = {1132--1146}, year = {1993}, url = {https://doi.org/10.1109/43.238606}, doi = {10.1109/43.238606}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/SakallahMBD93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurodac/SilvaS93, author = {Jo{\~{a}}o P. Marques Silva and Karem A. Sakallah}, title = {Concurrent path sensitization in timing analysis}, booktitle = {Proceedings of the European Design Automation Conference 1993, {EURO-DAC} '93 with EURO-VHDL'93, Hamburg, Germany, September 20-24, 1993}, pages = {196--199}, publisher = {{IEEE} Computer Society}, year = {1993}, url = {https://doi.org/10.1109/EURDAC.1993.410637}, doi = {10.1109/EURDAC.1993.410637}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/eurodac/SilvaS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/BurksS93, author = {Timothy M. Burks and Karem A. Sakallah}, editor = {Michael R. Lightner and Jochen A. G. Jess}, title = {Min-max linear programming and the timing analysis of digital circuits}, booktitle = {Proceedings of the 1993 {IEEE/ACM} International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993}, pages = {152--155}, publisher = {{IEEE} Computer Society / {ACM}}, year = {1993}, url = {https://doi.org/10.1109/ICCAD.1993.580047}, doi = {10.1109/ICCAD.1993.580047}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccad/BurksS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccd/SilvaS93, author = {Jo{\~{a}}o P. Marques Silva and Karem A. Sakallah}, title = {An Analysis of Path Sensitization Criteria}, booktitle = {Proceedings 1993 International Conference on Computer Design: {VLSI} in Computers {\&} Processors, {ICCD} '93, Cambridge, MA, USA, October 3-6, 1993}, pages = {68--72}, publisher = {{IEEE} Computer Society}, year = {1993}, url = {https://doi.org/10.1109/ICCD.1993.393403}, doi = {10.1109/ICCD.1993.393403}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccd/SilvaS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccd/RiepeSSB93, author = {Michael A. Riepe and Jo{\~{a}}o P. Marques Silva and Karem A. Sakallah and Richard B. Brown}, title = {Ravel-XL: {A} Hardware Accelerator for Assigned-Delay Compiled-Code Logic Gate Simulation}, booktitle = {Proceedings 1993 International Conference on Computer Design: {VLSI} in Computers {\&} Processors, {ICCD} '93, Cambridge, MA, USA, October 3-6, 1993}, pages = {361--364}, publisher = {{IEEE} Computer Society}, year = {1993}, url = {https://doi.org/10.1109/ICCD.1993.393352}, doi = {10.1109/ICCD.1993.393352}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccd/RiepeSSB93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/SakallahMO92, author = {Karem A. Sakallah and Trevor N. Mudge and Oyekunle A. Olukotun}, title = {Analysis and design of latch-controlled synchronous digital circuits}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {11}, number = {3}, pages = {322--333}, year = {1992}, url = {https://doi.org/10.1109/43.124419}, doi = {10.1109/43.124419}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/SakallahMO92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurodac/KayssiS92, author = {Ayman I. Kayssi and Karem A. Sakallah}, editor = {Gerald Musgrave}, title = {Delay macromodels for the timing analysis of GaAs {DCFL}}, booktitle = {Proceedings of the conference on European design automation, {EURO-DAC} '92, Hamburg, Germany, September 7-10, 1992}, pages = {142--145}, publisher = {{IEEE} Computer Society Press}, year = {1992}, url = {https://doi.org/10.1109/EURDAC.1992.246251}, doi = {10.1109/EURDAC.1992.246251}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/eurodac/KayssiS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/BurksSM92, author = {Timothy M. Burks and Karem A. Sakallah and Trevor N. Mudge}, editor = {Louise Trevillyan and Michael R. Lightner}, title = {Identification of critical paths in circuits with level-sensitive latches}, booktitle = {1992 {IEEE/ACM} International Conference on Computer-Aided Design, {ICCAD} 1992, Santa Clara, CA, USA, November 8-12, 1992. Digest of Technical Papers}, pages = {137--141}, publisher = {{IEEE} Computer Society / {ACM}}, year = {1992}, url = {https://doi.org/10.1109/ICCAD.1992.279386}, doi = {10.1109/ICCAD.1992.279386}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccad/BurksSM92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/ChangDS92, author = {Chuan{-}Hua Chang and Edward S. Davidson and Karem A. Sakallah}, editor = {Louise Trevillyan and Michael R. Lightner}, title = {Using constraint geometry to determine maximum rate pipeline clocking}, booktitle = {1992 {IEEE/ACM} International Conference on Computer-Aided Design, {ICCAD} 1992, Santa Clara, CA, USA, November 8-12, 1992. Digest of Technical Papers}, pages = {142--148}, publisher = {{IEEE} Computer Society / {ACM}}, year = {1992}, url = {https://doi.org/10.1109/ICCAD.1992.279385}, doi = {10.1109/ICCAD.1992.279385}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccad/ChangDS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/ShriverS92, author = {Emily J. Shriver and Karem A. Sakallah}, editor = {Louise Trevillyan and Michael R. Lightner}, title = {Ravel: assigned-delay compiled-code logic simulation}, booktitle = {1992 {IEEE/ACM} International Conference on Computer-Aided Design, {ICCAD} 1992, Santa Clara, CA, USA, November 8-12, 1992. Digest of Technical Papers}, pages = {364--368}, publisher = {{IEEE} Computer Society / {ACM}}, year = {1992}, url = {https://doi.org/10.1109/ICCAD.1992.279346}, doi = {10.1109/ICCAD.1992.279346}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccad/ShriverS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computer/MudgeBBDKLOSM91, author = {Trevor N. Mudge and Richard B. Brown and William P. Bimingham and Jeffrey A. Dykstra and Ayman I. Kayssi and Ronald J. Lomax and Kunle Olukotun and Karem A. Sakallah and Raymond A. Milano}, title = {The Design of a Microsupercomputer}, journal = {Computer}, volume = {24}, number = {1}, pages = {57--64}, year = {1991}, url = {https://doi.org/10.1109/2.67194}, doi = {10.1109/2.67194}, timestamp = {Wed, 12 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/computer/MudgeBBDKLOSM91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/SilvaSV91, author = {Jo{\~{a}}o P. Marques Silva and Karem A. Sakallah and Lu{\'{\i}}s M. Vidigal}, title = {{FPD} - An Environment for Exact Timing Analysis}, booktitle = {1991 {IEEE/ACM} International Conference on Computer-Aided Design, {ICCAD} 1993, Santa Clara, CA, USA, November 11-14, 1991. Digest of Technical Papers}, pages = {212--215}, publisher = {{IEEE} Computer Society}, year = {1991}, url = {https://doi.org/10.1109/ICCAD.1991.185234}, doi = {10.1109/ICCAD.1991.185234}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccad/SilvaSV91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccd/SakallahMBD91, author = {Karem A. Sakallah and Trevor N. Mudge and Timothy M. Burks and Edward S. Davidson}, title = {Optimal Clocking of Circular Pipelines}, booktitle = {Proceedings 1991 {IEEE} International Conference on Computer Design: {VLSI} in Computer {\&} Processors, {ICCD} '91, Cambridge, MA, USA, October 14-16, 1991}, pages = {642--650}, publisher = {{IEEE} Computer Society}, year = {1991}, url = {https://doi.org/10.1109/ICCD.1991.139992}, doi = {10.1109/ICCD.1991.139992}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccd/SakallahMBD91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/SakallahYG90, author = {Karem A. Sakallah and Yao{-}Tsung Yen and Steve S. Greenberg}, title = {A first-order charge conserving {MOS} capacitance model}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {9}, number = {1}, pages = {99--108}, year = {1990}, url = {https://doi.org/10.1109/43.45860}, doi = {10.1109/43.45860}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/SakallahYG90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/SakallahMO90, author = {Karem A. Sakallah and Trevor N. Mudge and Kunle Olukotun}, editor = {Richard C. Smith}, title = {Analysis and Design of Latch-Controlled Synchronous Digital Circuits}, booktitle = {Proceedings of the 27th {ACM/IEEE} Design Automation Conference. Orlando, Florida, USA, June 24-28, 1990}, pages = {111--117}, publisher = {{IEEE} Computer Society Press}, year = {1990}, url = {https://doi.org/10.1145/123186.123237}, doi = {10.1145/123186.123237}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/SakallahMO90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/SakallahMO90, author = {Karem A. Sakallah and Trevor N. Mudge and Kunle Olukotun}, title = {\emph{check} T\({}_{\mbox{c}}\) and \emph{min} T\({}_{\mbox{c}}\): Timing Verification and Optimal Clocking of Synchronous Digtal Circuits}, booktitle = {{IEEE/ACM} International Conference on Computer-Aided Design, {ICCAD} 1990, Santa Clara, CA, USA, November 11-15, 1990. Digest of Technical Papers}, pages = {552--555}, publisher = {{IEEE} Computer Society}, year = {1990}, url = {https://doi.org/10.1109/ICCAD.1990.129979}, doi = {10.1109/ICCAD.1990.129979}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccad/SakallahMO90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsi/MenonS90, author = {Somanathan C. Menon and Karem A. Sakallah}, editor = {Peter A. Ng and C. V. Ramamoorthy and Laurence C. Seifert and Raymond T. Yeh}, title = {Clock Qualification Algorithm for Timing Analysis of Custom {CMOS} {VLSI} Circuits with Overlapped Clocking Disciplines and On-section Clock Derivation}, booktitle = {Proceedings of the First International Conference on Systems Integration, Morristown, NJ, USA, April 1990}, pages = {550--558}, publisher = {{IEEE} Computer Society}, year = {1990}, timestamp = {Tue, 26 Nov 2002 11:36:28 +0100}, biburl = {https://dblp.org/rec/conf/icsi/MenonS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/SakallahD85, author = {Karem A. Sakallah and Stephen W. Director}, title = {{SAMSON2:} An Event Driven {VLSI} Circuit Simulator}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {4}, number = {4}, pages = {668--684}, year = {1985}, url = {https://doi.org/10.1109/TCAD.1985.1270167}, doi = {10.1109/TCAD.1985.1270167}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/SakallahD85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.