default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: David E. Narváez
@inproceedings{DBLP:conf/mkm/NarvaezSZ24,
author = {David E. Narv{\'{a}}ez and
Cruise Song and
Ningxin Zhang},
editor = {Andrea Kohlhase and
Laura Kov{\'{a}}cs},
title = {Formalizing Finite Ramsey Theory in Lean 4},
booktitle = {Intelligent Computer Mathematics - 17th International Conference,
{CICM} 2024, Montr{\'{e}}al, QC, Canada, August 5-9, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14960},
pages = {91--108},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-66997-2\_6},
doi = {10.1007/978-3-031-66997-2\_6},
timestamp = {Fri, 20 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/NarvaezSZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/gc/HassanJNRX23,
author = {Zohair Raza Hassan and
Yu Jiang and
David E. Narv{\'{a}}ez and
Stanislaw P. Radziszowski and
Xiaodong Xu},
title = {On Some Generalized Vertex Folkman Numbers},
journal = {Graphs Comb.},
volume = {39},
number = {3},
pages = {62},
year = {2023},
url = {https://doi.org/10.1007/s00373-023-02654-8},
doi = {10.1007/S00373-023-02654-8},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/gc/HassanJNRX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CarletonCHNTW23,
author = {Benjamin Carleton and
Michael C. Chavrimootoo and
Lane A. Hemaspaandra and
David E. Narv{\'{a}}ez and
Conor Taliancich and
Henry B. Welles},
editor = {Noa Agmon and
Bo An and
Alessandro Ricci and
William Yeoh},
title = {Separating and Collapsing Electoral Control Types},
booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
2023 - 2 June 2023},
pages = {1743--1751},
publisher = {{ACM}},
year = {2023},
url = {https://dl.acm.org/doi/10.5555/3545946.3598833},
doi = {10.5555/3545946.3598833},
timestamp = {Tue, 23 May 2023 14:27:14 +0200},
biburl = {https://dblp.org/rec/conf/atal/CarletonCHNTW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CarletonCHNTW23a,
author = {Benjamin Carleton and
Michael C. Chavrimootoo and
Lane A. Hemaspaandra and
David E. Narv{\'{a}}ez and
Conor Taliancich and
Henry B. Welles},
editor = {Noa Agmon and
Bo An and
Alessandro Ricci and
William Yeoh},
title = {Search versus Search for Collapsing Electoral Control Types},
booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
2023 - 2 June 2023},
pages = {2682--2684},
publisher = {{ACM}},
year = {2023},
url = {https://dl.acm.org/doi/10.5555/3545946.3599042},
doi = {10.5555/3545946.3599042},
timestamp = {Tue, 23 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/CarletonCHNTW23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/BezakovaFHMN23,
author = {Ivona Bez{\'{a}}kov{\'{a}} and
Kimberly Fluet and
Edith Hemaspaandra and
Hannah Miller and
David E. Narv{\'{a}}ez},
editor = {Maureen Doyle and
Ben Stephenson and
Brian Dorn and
Leen{-}Kiat Soh and
Lina Battestilli},
title = {Feedback Tools and Motivation to Persist in Intro {CS} Theory},
booktitle = {Proceedings of the 54th {ACM} Technical Symposium on Computer Science
Education, Volume 2, {SIGCSE} 2023, Toronto, ON, Canada, March 15-18,
2023},
pages = {1341},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3545947.3576287},
doi = {10.1145/3545947.3576287},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/BezakovaFHMN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BrakensiekHMN22,
author = {Joshua Brakensiek and
Marijn Heule and
John Mackey and
David E. Narv{\'{a}}ez},
title = {The Resolution of Keller's Conjecture},
journal = {J. Autom. Reason.},
volume = {66},
number = {3},
pages = {277--300},
year = {2022},
url = {https://doi.org/10.1007/s10817-022-09623-5},
doi = {10.1007/S10817-022-09623-5},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BrakensiekHMN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HemaspaandraN22,
author = {Edith Hemaspaandra and
David E. Narv{\'{a}}ez},
editor = {Kevin Buzzard and
Temur Kutsia},
title = {Formal Methods for {NFA} Equivalence: QBFs, Witness Extraction, and
Encoding Verification},
booktitle = {Intelligent Computer Mathematics - 15th International Conference,
{CICM} 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13467},
pages = {241--255},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16681-5\_17},
doi = {10.1007/978-3-031-16681-5\_17},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/HemaspaandraN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/BezakovaFHMN21a,
author = {Ivona Bez{\'{a}}kov{\'{a}} and
Kimberly Fluet and
Edith Hemaspaandra and
Hannah Miller and
David E. Narv{\'{a}}ez},
editor = {Larry Merkle and
Maureen Doyle and
Judithe Sheard and
Leen{-}Kiat Soh and
Brian Dorn},
title = {Effective Succinct Feedback for Intro {CS} Theory: {A} {JFLAP} Extension},
booktitle = {{SIGCSE} 2022: The 53rd {ACM} Technical Symposium on Computer Science
Education, Providence, RI, USA, March 3-5, 2022, Volume 1},
pages = {976--982},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3478431.3499416},
doi = {10.1145/3478431.3499416},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/BezakovaFHMN21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-00710,
author = {Benjamin Carleton and
Michael C. Chavrimootoo and
Lane A. Hemaspaandra and
David E. Narv{\'{a}}ez and
Conor Taliancich and
Henry B. Welles},
title = {Separating and Collapsing Electoral Control Types},
journal = {CoRR},
volume = {abs/2207.00710},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.00710},
doi = {10.48550/ARXIV.2207.00710},
eprinttype = {arXiv},
eprint = {2207.00710},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-00710.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-03049,
author = {Benjamin Carleton and
Michael C. Chavrimootoo and
Lane A. Hemaspaandra and
David E. Narv{\'{a}}ez and
Conor Taliancich and
Henry B. Welles},
title = {Search versus Search for Collapsing Electoral Control Types},
journal = {CoRR},
volume = {abs/2207.03049},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.03049},
doi = {10.48550/ARXIV.2207.03049},
eprinttype = {arXiv},
eprint = {2207.03049},
timestamp = {Wed, 13 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-03049.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmgt/JayawardeneNR21,
author = {Chula J. Jayawardene and
David E. Narv{\'{a}}ez and
Stanislaw P. Radziszowski},
title = {Star-critical Ramsey numbers for cycles versus \emph{K\({}_{\mbox{4}}\)}},
journal = {Discuss. Math. Graph Theory},
volume = {41},
number = {2},
pages = {381--390},
year = {2021},
url = {https://doi.org/10.7151/dmgt.2190},
doi = {10.7151/DMGT.2190},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dmgt/JayawardeneNR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HemaspaandraN21,
author = {Lane A. Hemaspaandra and
David E. Narv{\'{a}}ez},
title = {The opacity of backbones},
journal = {Inf. Comput.},
volume = {281},
pages = {104772},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2021.104772},
doi = {10.1016/J.IC.2021.104772},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HemaspaandraN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pai/HemaspaandraN21,
author = {Lane A. Hemaspaandra and
David E. Narv{\'{a}}ez},
title = {Existence versus exploitation: the opacity of backdoors and backbones},
journal = {Prog. Artif. Intell.},
volume = {10},
number = {3},
pages = {297--308},
year = {2021},
url = {https://doi.org/10.1007/s13748-021-00234-6},
doi = {10.1007/S13748-021-00234-6},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pai/HemaspaandraN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MillerN21,
author = {Hannah Miller and
David E. Narv{\'{a}}ez},
title = {Toward Determining {NFA} Equivalence via QBFs (Student Abstract)},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {15849--15850},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i18.17921},
doi = {10.1609/AAAI.V35I18.17921},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MillerN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/BezakovaFHMN21,
author = {Ivona Bez{\'{a}}kov{\'{a}} and
Kimberly Fluet and
Edith Hemaspaandra and
Hannah Miller and
David E. Narv{\'{a}}ez},
editor = {Mark Sherriff and
Laurence D. Merkle and
Pamela A. Cutter and
Alvaro E. Monge and
Judithe Sheard},
title = {Witness Feedback for Introductory {CS} Theory Assignments},
booktitle = {{SIGCSE} '21: The 52nd {ACM} Technical Symposium on Computer Science
Education, Virtual Event, USA, March 13-20, 2021},
pages = {1300},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3408877.3439585},
doi = {10.1145/3408877.3439585},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/BezakovaFHMN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-15246,
author = {Mandar Juvekar and
David E. Narv{\'{a}}ez and
Melissa Welsh},
title = {On Arroyo-Figueroa's Proof that {\textdollar}{\textbackslash}mathrm\{P\}
{\textbackslash}neq {\textbackslash}mathrm\{NP\}{\textdollar}},
journal = {CoRR},
volume = {abs/2103.15246},
year = {2021},
url = {https://arxiv.org/abs/2103.15246},
eprinttype = {arXiv},
eprint = {2103.15246},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-15246.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-02886,
author = {Arian Nadjimzadah and
David E. Narv{\'{a}}ez},
title = {On Salum's Algorithm for {X3SAT}},
journal = {CoRR},
volume = {abs/2104.02886},
year = {2021},
url = {https://arxiv.org/abs/2104.02886},
eprinttype = {arXiv},
eprint = {2104.02886},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-02886.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-07166,
author = {David E. Narv{\'{a}}ez and
Patrick Phillips},
title = {On Lev Gordeev's "On {P} Versus NP"},
journal = {CoRR},
volume = {abs/2104.07166},
year = {2021},
url = {https://arxiv.org/abs/2104.07166},
eprinttype = {arXiv},
eprint = {2104.07166},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-07166.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Narvaez20,
author = {David E. Narv{\'{a}}ez},
title = {A {QSAT} Benchmark Based on Vertex-Folkman Problems (Student Abstract)},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {13881--13882},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i10.7213},
doi = {10.1609/AAAI.V34I10.7213},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Narvaez20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BrakensiekHMN20,
author = {Joshua Brakensiek and
Marijn Heule and
John Mackey and
David E. Narv{\'{a}}ez},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {The Resolution of Keller's Conjecture},
booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
2020, Paris, France, July 1-4, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12166},
pages = {48--65},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51074-9\_4},
doi = {10.1007/978-3-030-51074-9\_4},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BrakensiekHMN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/BezakovaHLMN20,
author = {Ivona Bez{\'{a}}kov{\'{a}} and
Edith Hemaspaandra and
Aryeh Lieberman and
Hannah Miller and
David E. Narv{\'{a}}ez},
editor = {Jian Zhang and
Mark Sherriff and
Sarah Heckman and
Pamela A. Cutter and
Alvaro E. Monge},
title = {Prototype of an Automated Feedback Tool for Intro {CS} Theory},
booktitle = {Proceedings of the 51st {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2020, Portland, OR, USA, March 11-14, 2020},
pages = {1311},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3328778.3372598},
doi = {10.1145/3328778.3372598},
timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/BezakovaHLMN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/BrakensiekHMN20,
author = {Joshua Brakensiek and
Marijn Heule and
John Mackey and
David E. Narv{\'{a}}ez},
title = {The Resolution of Keller's Conjecture - Computation Logs (Version
{IJCAR} 2020)},
publisher = {Zenodo},
year = {2020},
month = apr,
howpublished = {\url{https://doi.org/10.5281/zenodo.3755117}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.3755117},
doi = {10.5281/ZENODO.3755117},
timestamp = {Tue, 17 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/BrakensiekHMN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-01546,
author = {Ivona Bez{\'{a}}kov{\'{a}} and
Kimberly Fluet and
Edith Hemaspaandra and
Hannah Miller and
David E. Narv{\'{a}}ez},
title = {Effective Feedback for Introductory {CS} Theory: {A} {JFLAP} Extension
and Student Persistence},
journal = {CoRR},
volume = {abs/2012.01546},
year = {2020},
url = {https://arxiv.org/abs/2012.01546},
eprinttype = {arXiv},
eprint = {2012.01546},
timestamp = {Fri, 04 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-01546.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FitzsimmonsHHN19,
author = {Zack Fitzsimmons and
Edith Hemaspaandra and
Alexander Hoover and
David E. Narv{\'{a}}ez},
title = {Very Hard Electoral Control Problems},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {1933--1940},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33011933},
doi = {10.1609/AAAI.V33I01.33011933},
timestamp = {Thu, 19 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FitzsimmonsHHN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/Narvaez19,
author = {David E. Narv{\'{a}}ez},
editor = {Julia M. Badger and
Kristin Yvonne Rozier},
title = {Formalizing {CNF} {SAT} Symmetry Breaking in {PVS}},
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 = {341--354},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20652-9\_23},
doi = {10.1007/978-3-030-20652-9\_23},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/Narvaez19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/HemaspaandraN19,
author = {Lane A. Hemaspaandra and
David E. Narv{\'{a}}ez},
editor = {Barbara Catania and
Rastislav Kr{\'{a}}lovic and
Jerzy R. Nawrocki and
Giovanni Pighizzini},
title = {Existence Versus Exploitation: The Opacity of Backdoors and Backbones
Under a Weak Assumption},
booktitle = {{SOFSEM} 2019: Theory and Practice of Computer Science - 45th International
Conference on Current Trends in Theory and Practice of Computer Science,
Nov{\'{y}} Smokovec, Slovakia, January 27-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11376},
pages = {247--259},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-10801-4\_20},
doi = {10.1007/978-3-030-10801-4\_20},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/HemaspaandraN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Narvaez18,
author = {David E. Narv{\'{a}}ez},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Constraint Satisfaction Techniques for Combinatorial Problems},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {8028--8029},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.11361},
doi = {10.1609/AAAI.V32I1.11361},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Narvaez18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Narvaez18a,
author = {David E. Narv{\'{a}}ez},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Exploring the Use of Shatter for AllSAT Through Ramsey-Type Problems},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {8123--8124},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.12192},
doi = {10.1609/AAAI.V32I1.12192},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Narvaez18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-05438,
author = {Zack Fitzsimmons and
Edith Hemaspaandra and
Alexander Hoover and
David E. Narv{\'{a}}ez},
title = {Very Hard Electoral Control Problems},
journal = {CoRR},
volume = {abs/1811.05438},
year = {2018},
url = {http://arxiv.org/abs/1811.05438},
eprinttype = {arXiv},
eprint = {1811.05438},
timestamp = {Thu, 19 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-05438.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HemaspaandraN17,
author = {Lane A. Hemaspaandra and
David E. Narv{\'{a}}ez},
editor = {Satinder Singh and
Shaul Markovitch},
title = {The Opacity of Backbones},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {3900--3906},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.11134},
doi = {10.1609/AAAI.V31I1.11134},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/HemaspaandraN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HemaspaandraN17,
author = {Lane A. Hemaspaandra and
David E. Narv{\'{a}}ez},
title = {The Opacity of Backbones and Backdoors Under a Weak Assumption},
journal = {CoRR},
volume = {abs/1706.04582},
year = {2017},
url = {http://arxiv.org/abs/1706.04582},
eprinttype = {arXiv},
eprint = {1706.04582},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HemaspaandraN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-06362,
author = {David E. Narv{\'{a}}ez},
title = {Exploring the Use of Shatter for AllSAT Through Ramsey-Type Problems},
journal = {CoRR},
volume = {abs/1711.06362},
year = {2017},
url = {http://arxiv.org/abs/1711.06362},
eprinttype = {arXiv},
eprint = {1711.06362},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-06362.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HemaspaandraN16,
author = {Lane A. Hemaspaandra and
David E. Narv{\'{a}}ez},
title = {The Opacity of Backbones},
journal = {CoRR},
volume = {abs/1606.03634},
year = {2016},
url = {http://arxiv.org/abs/1606.03634},
eprinttype = {arXiv},
eprint = {1606.03634},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HemaspaandraN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-22 00:35 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:
