Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
a service of 
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.
last updated on 2024-04-25 02:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
