default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Aina Niemetz
@inproceedings{DBLP:conf/cav/NiemetzPZ24,
author = {Aina Niemetz and
Mathias Preiner and
Yoni Zohar},
editor = {Arie Gurfinkel and
Vijay Ganesh},
title = {Scalable Bit-Blasting with Abstractions},
booktitle = {Computer Aided Verification - 36th International Conference, {CAV}
2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14681},
pages = {178--200},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65627-9\_9},
doi = {10.1007/978-3-031-65627-9\_9},
timestamp = {Fri, 02 Aug 2024 11:58:28 +0200},
biburl = {https://dblp.org/rec/conf/cav/NiemetzPZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BarrettTBNPRZ24,
author = {Clark W. Barrett and
Cesare Tinelli and
Haniel Barbosa and
Aina Niemetz and
Mathias Preiner and
Andrew Reynolds and
Yoni Zohar},
editor = {Andre Platzer and
Kristin Yvonne Rozier and
Matteo Pradella and
Matteo Rossi},
title = {Satisfiability Modulo Theories: {A} Beginner's Tutorial},
booktitle = {Formal Methods - 26th International Symposium, {FM} 2024, Milan, Italy,
September 9-13, 2024, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14934},
pages = {571--596},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-71177-0\_31},
doi = {10.1007/978-3-031-71177-0\_31},
timestamp = {Tue, 17 Sep 2024 14:12:52 +0200},
biburl = {https://dblp.org/rec/conf/fm/BarrettTBNPRZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BarbosaBCDKLNNOPRTZ23,
author = {Haniel Barbosa and
Clark W. Barrett and
Byron Cook and
Bruno Dutertre and
Gereon Kremer and
Hanna Lachnitt and
Aina Niemetz and
Andres N{\"{o}}tzli and
Alex Ozdemir and
Mathias Preiner and
Andrew Reynolds and
Cesare Tinelli and
Yoni Zohar},
title = {Generating and Exploiting Automated Reasoning Proof Certificates},
journal = {Commun. {ACM}},
volume = {66},
number = {10},
pages = {86--95},
year = {2023},
url = {https://doi.org/10.1145/3587692},
doi = {10.1145/3587692},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/BarbosaBCDKLNNOPRTZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ScottNPNG23,
author = {Joseph Scott and
Aina Niemetz and
Mathias Preiner and
Saeed Nejati and
Vijay Ganesh},
title = {Algorithm selection for {SMT}},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {25},
number = {2},
pages = {219--239},
year = {2023},
url = {https://doi.org/10.1007/s10009-023-00696-0},
doi = {10.1007/S10009-023-00696-0},
timestamp = {Thu, 27 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ScottNPNG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ScottNPNG23a,
author = {Joseph Scott and
Aina Niemetz and
Mathias Preiner and
Saeed Nejati and
Vijay Ganesh},
title = {Publisher Correction: Algorithm selection for {SMT}},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {25},
number = {5},
pages = {799--800},
year = {2023},
url = {https://doi.org/10.1007/s10009-023-00714-1},
doi = {10.1007/S10009-023-00714-1},
timestamp = {Thu, 27 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ScottNPNG23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NiemetzP23,
author = {Aina Niemetz and
Mathias Preiner},
editor = {Constantin Enea and
Akash Lal},
title = {Bitwuzla},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13965},
pages = {3--17},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37703-7\_1},
doi = {10.1007/978-3-031-37703-7\_1},
timestamp = {Tue, 12 Sep 2023 07:57:21 +0200},
biburl = {https://dblp.org/rec/conf/cav/NiemetzP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/FazekasNPKSB23,
author = {Katalin Fazekas and
Aina Niemetz and
Mathias Preiner and
Markus Kirchweger and
Stefan Szeider and
Armin Biere},
editor = {Meena Mahajan and
Friedrich Slivovsky},
title = {{IPASIR-UP:} User Propagators for {CDCL}},
booktitle = {26th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
series = {LIPIcs},
volume = {271},
pages = {8:1--8:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.SAT.2023.8},
doi = {10.4230/LIPICS.SAT.2023.8},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/FazekasNPKSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/FazekasNPKSB23,
author = {Katalin Fazekas and
Aina Niemetz and
Mathias Preiner and
Markus Kirchweger and
Stefan Szeider and
Armin Biere},
title = {Supplementary material of submission "IPASIR-UP: User Propagators
for CDCL" (Version 1)},
publisher = {Zenodo},
year = {2023},
month = jun,
howpublished = {\url{https://doi.org/10.5281/zenodo.8003683}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.8003683},
doi = {10.5281/ZENODO.8003683},
timestamp = {Fri, 19 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/FazekasNPKSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BarbosaRKLNNOPV22,
author = {Haniel Barbosa and
Andrew Reynolds and
Gereon Kremer and
Hanna Lachnitt and
Aina Niemetz and
Andres N{\"{o}}tzli and
Alex Ozdemir and
Mathias Preiner and
Arjun Viswanathan and
Scott Viteri and
Yoni Zohar and
Cesare Tinelli and
Clark W. Barrett},
editor = {Jasmin Blanchette and
Laura Kov{\'{a}}cs and
Dirk Pattinson},
title = {Flexible Proof Production in an Industrial-Strength {SMT} Solver},
booktitle = {Automated Reasoning - 11th International Joint Conference, {IJCAR}
2022, Haifa, Israel, August 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13385},
pages = {15--35},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10769-6\_3},
doi = {10.1007/978-3-031-10769-6\_3},
timestamp = {Tue, 16 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BarbosaRKLNNOPV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NiemetzPB22,
author = {Aina Niemetz and
Mathias Preiner and
Clark W. Barrett},
editor = {Sharon Shoham and
Yakir Vizel},
title = {Murxla: {A} Modular and Highly Extensible {API} Fuzzer for {SMT} Solvers},
booktitle = {Computer Aided Verification - 34th International Conference, {CAV}
2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13372},
pages = {92--106},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13188-2\_5},
doi = {10.1007/978-3-031-13188-2\_5},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/NiemetzPB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/NotzliBNPRBT22,
author = {Andres N{\"{o}}tzli and
Haniel Barbosa and
Aina Niemetz and
Mathias Preiner and
Andrew Reynolds and
Clark W. Barrett and
Cesare Tinelli},
editor = {Alberto Griggio and
Neha Rungta},
title = {Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific
Language},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {65--74},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_12},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_12},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/NotzliBNPRBT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/Niemetz22,
author = {Aina Niemetz},
editor = {David D{\'{e}}harbe and
Antti E. J. Hyv{\"{a}}rinen},
title = {Invited Talk: Local Search for Bit-Precise Reasoning and Beyond},
booktitle = {Proceedings of the 20th Internal Workshop on Satisfiability Modulo
Theories co-located with the 11th International Joint Conference on
Automated Reasoning {(IJCAR} 2022) part of the 8th Federated Logic
Conference (FLoC 2022), Haifa, Israel, August 11-12, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3185},
pages = {1},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3185/invited0000.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:48 +0100},
biburl = {https://dblp.org/rec/conf/smt/Niemetz22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BarbosaBBKLMMMN22,
author = {Haniel Barbosa and
Clark W. Barrett and
Martin Brain and
Gereon Kremer and
Hanna Lachnitt and
Makai Mann and
Abdalrhman Mohamed and
Mudathir Mohamed and
Aina Niemetz and
Andres N{\"{o}}tzli and
Alex Ozdemir and
Mathias Preiner and
Andrew Reynolds and
Ying Sheng and
Cesare Tinelli and
Yoni Zohar},
editor = {Dana Fisman and
Grigore Rosu},
title = {cvc5: {A} Versatile and Industrial-Strength {SMT} Solver},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13243},
pages = {415--442},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99524-9\_24},
doi = {10.1007/978-3-030-99524-9\_24},
timestamp = {Fri, 29 Apr 2022 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BarbosaBBKLMMMN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ZoharIMNNPRBT22,
author = {Yoni Zohar and
Ahmed Irfan and
Makai Mann and
Aina Niemetz and
Andres N{\"{o}}tzli and
Mathias Preiner and
Andrew Reynolds and
Clark W. Barrett and
Cesare Tinelli},
editor = {Bernd Finkbeiner and
Thomas Wies},
title = {Bit-Precise Reasoning via Int-Blasting},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 23rd International
Conference, {VMCAI} 2022, Philadelphia, PA, USA, January 16-18, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13182},
pages = {496--518},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-94583-1\_24},
doi = {10.1007/978-3-030-94583-1\_24},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/ZoharIMNNPRBT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/NiemetzPRBT21,
author = {Aina Niemetz and
Mathias Preiner and
Andrew Reynolds and
Clark W. Barrett and
Cesare Tinelli},
title = {On solving quantified bit-vector constraints using invertibility conditions},
journal = {Formal Methods Syst. Des.},
volume = {57},
number = {1},
pages = {87--115},
year = {2021},
url = {https://doi.org/10.1007/s10703-020-00359-9},
doi = {10.1007/S10703-020-00359-9},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/NiemetzPRBT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/NiemetzP0ZBT21,
author = {Aina Niemetz and
Mathias Preiner and
Andrew Reynolds and
Yoni Zohar and
Clark W. Barrett and
Cesare Tinelli},
title = {Towards Satisfiability Modulo Parametric Bit-vectors},
journal = {J. Autom. Reason.},
volume = {65},
number = {7},
pages = {1001--1025},
year = {2021},
url = {https://doi.org/10.1007/s10817-021-09598-9},
doi = {10.1007/S10817-021-09598-9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/NiemetzP0ZBT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KremerNP20,
author = {Gereon Kremer and
Aina Niemetz and
Mathias Preiner},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12760},
pages = {231--242},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_11},
doi = {10.1007/978-3-030-81688-9\_11},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KremerNP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/NiemetzPRBT21,
author = {Aina Niemetz and
Mathias Preiner and
Andrew Reynolds and
Clark W. Barrett and
Cesare Tinelli},
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {Syntax-Guided Quantifier Instantiation},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 27th International Conference, {TACAS} 2021, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12652},
pages = {145--163},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72013-1\_8},
doi = {10.1007/978-3-030-72013-1\_8},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/NiemetzPRBT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ScottNPNG21,
author = {Joseph Scott and
Aina Niemetz and
Mathias Preiner and
Saeed Nejati and
Vijay Ganesh},
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {MachSMT: {A} Machine Learning-based Algorithm Selector for {SMT} Solvers},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 27th International Conference, {TACAS} 2021, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12652},
pages = {303--325},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72013-1\_16},
doi = {10.1007/978-3-030-72013-1\_16},
timestamp = {Thu, 27 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ScottNPNG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/smt/2021,
editor = {Alexander Nadel and
Aina Niemetz},
title = {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},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2908},
urn = {urn:nbn:de:0074-2908-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smt/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BahrBBCDDDFFHHH20,
author = {Rick Bahr and
Clark W. Barrett and
Nikhil Bhagdikar and
Alex Carsello and
Ross Daly and
Caleb Donovick and
David Durst and
Kayvon Fatahalian and
Kathleen Feng and
Pat Hanrahan and
Teguh Hofstee and
Mark Horowitz and
Dillon Huff and
Fredrik Kjolstad and
Taeyoung Kong and
Qiaoyi Liu and
Makai Mann and
Jackson Melchert and
Ankita Nayak and
Aina Niemetz and
Gedeon Nyengele and
Priyanka Raina and
Stephen Richardson and
Rajsekhar Setaluri and
Jeff Setter and
Kavya Sreedhar and
Maxwell Strange and
James Thomas and
Christopher Torng and
Leonard Truong and
Nestan Tsiskaridze and
Keyi Zhang},
title = {Creating an Agile Hardware Design Flow},
booktitle = {57th {ACM/IEEE} Design Automation Conference, {DAC} 2020, San Francisco,
CA, USA, July 20-24, 2020},
pages = {1--6},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/DAC18072.2020.9218553},
doi = {10.1109/DAC18072.2020.9218553},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/BahrBBCDDDFFHHH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/NiemetzP20,
author = {Aina Niemetz and
Mathias Preiner},
title = {Ternary Propagation-Based Local Search for more Bit-Precise Reasoning},
booktitle = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa,
Israel, September 21-24, 2020},
pages = {214--224},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_29},
doi = {10.34727/2020/ISBN.978-3-85448-042-6\_29},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/NiemetzP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/ScottNPG20,
author = {Joseph Scott and
Aina Niemetz and
Mathias Preiner and
Vijay Ganesh},
editor = {Fran{\c{c}}ois Bobot and
Tjark Weber},
title = {Abstract: MachSMT: {A} Machine Learning-based Algorithm Selector for
{SMT} Solvers},
booktitle = {Proceedings of the 18th International Workshop on Satisfiability Modulo
Theories co-located with the 10th International Joint Conference on
Automated Reasoning {(IJCAR} 2020), Online (initially located in Paris,
France), July 5-6, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2854},
pages = {62},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2854/abstract6.pdf},
timestamp = {Mon, 01 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smt/ScottNPG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-01621,
author = {Aina Niemetz and
Mathias Preiner},
title = {Bitwuzla at the {SMT-COMP} 2020},
journal = {CoRR},
volume = {abs/2006.01621},
year = {2020},
url = {https://arxiv.org/abs/2006.01621},
eprinttype = {arXiv},
eprint = {2006.01621},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-01621.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/WeberCDHNR19,
author = {Tjark Weber and
Sylvain Conchon and
David D{\'{e}}harbe and
Matthias Heizmann and
Aina Niemetz and
Giles Reger},
title = {The {SMT} Competition 2015-2018},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {11},
number = {1},
pages = {221--259},
year = {2019},
url = {https://doi.org/10.3233/SAT190123},
doi = {10.3233/SAT190123},
timestamp = {Wed, 26 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsat/WeberCDHNR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NiemetzPRZBT19,
author = {Aina Niemetz and
Mathias Preiner and
Andrew Reynolds and
Yoni Zohar and
Clark W. Barrett and
Cesare Tinelli},
editor = {Pascal Fontaine},
title = {Towards Bit-Width-Independent Proofs in {SMT} Solvers},
booktitle = {Automated Deduction - {CADE} 27 - 27th International Conference on
Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11716},
pages = {366--384},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29436-6\_22},
doi = {10.1007/978-3-030-29436-6\_22},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/NiemetzPRZBT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BrainNPRBT19,
author = {Martin Brain and
Aina Niemetz and
Mathias Preiner and
Andrew Reynolds and
Clark W. Barrett and
Cesare Tinelli},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Invertibility Conditions for Floating-Point Formulas},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11562},
pages = {116--136},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25543-5\_8},
doi = {10.1007/978-3-030-25543-5\_8},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BrainNPRBT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/NotzliRBNPBT19,
author = {Andres N{\"{o}}tzli and
Andrew Reynolds and
Haniel Barbosa and
Aina Niemetz and
Mathias Preiner and
Clark W. Barrett and
Cesare Tinelli},
editor = {Mikol{\'{a}}s Janota and
In{\^{e}}s Lynce},
title = {Syntax-Guided Rewrite Rule Enumeration for {SMT} Solvers},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11628},
pages = {279--297},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-24258-9\_20},
doi = {10.1007/978-3-030-24258-9\_20},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/NotzliRBNPBT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/OzdemirNPZB19,
author = {Alex Ozdemir and
Aina Niemetz and
Mathias Preiner and
Yoni Zohar and
Clark W. Barrett},
editor = {Mikol{\'{a}}s Janota and
In{\^{e}}s Lynce},
title = {DRAT-based Bit-Vector Proofs in {CVC4}},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11628},
pages = {298--305},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-24258-9\_21},
doi = {10.1007/978-3-030-24258-9\_21},
timestamp = {Fri, 05 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/OzdemirNPZB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-10434,
author = {Aina Niemetz and
Mathias Preiner and
Andrew Reynolds and
Yoni Zohar and
Clark W. Barrett and
Cesare Tinelli},
title = {Towards Bit-Width-Independent Proofs in {SMT} Solvers},
journal = {CoRR},
volume = {abs/1905.10434},
year = {2019},
url = {http://arxiv.org/abs/1905.10434},
eprinttype = {arXiv},
eprint = {1905.10434},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-10434.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-00087,
author = {Alex Ozdemir and
Aina Niemetz and
Mathias Preiner and
Yoni Zohar and
Clark W. Barrett},
title = {DRAT-based Bit-Vector Proofs in {CVC4}},
journal = {CoRR},
volume = {abs/1907.00087},
year = {2019},
url = {http://arxiv.org/abs/1907.00087},
eprinttype = {arXiv},
eprint = {1907.00087},
timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-00087.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NiemetzPRBT18,
author = {Aina Niemetz and
Mathias Preiner and
Andrew Reynolds and
Clark W. Barrett and
Cesare Tinelli},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Solving Quantified Bit-Vectors Using Invertibility Conditions},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10982},
pages = {236--255},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96142-2\_16},
doi = {10.1007/978-3-319-96142-2\_16},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/NiemetzPRBT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NiemetzPWB18,
author = {Aina Niemetz and
Mathias Preiner and
Clifford Wolf and
Armin Biere},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {{Btor2} , {BtorMC} and {Boolector} 3.0},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {587--595},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_32},
doi = {10.1007/978-3-319-96145-3\_32},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/NiemetzPWB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-05025,
author = {Aina Niemetz and
Mathias Preiner and
Andrew Reynolds and
Clark W. Barrett and
Cesare Tinelli},
title = {On Solving Quantified Bit-Vectors using Invertibility Conditions},
journal = {CoRR},
volume = {abs/1804.05025},
year = {2018},
url = {http://arxiv.org/abs/1804.05025},
eprinttype = {arXiv},
eprint = {1804.05025},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-05025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-08775,
author = {Clark W. Barrett and
Haniel Barbosa and
Martin Brain and
Duligur Ibeling and
Tim King and
Paul Meng and
Aina Niemetz and
Andres N{\"{o}}tzli and
Mathias Preiner and
Andrew Reynolds and
Cesare Tinelli},
title = {{CVC4} at the {SMT} Competition 2018},
journal = {CoRR},
volume = {abs/1806.08775},
year = {2018},
url = {http://arxiv.org/abs/1806.08775},
eprinttype = {arXiv},
eprint = {1806.08775},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-08775.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/NiemetzPB17,
author = {Aina Niemetz and
Mathias Preiner and
Armin Biere},
title = {Propagation based local search for bit-precise reasoning},
journal = {Formal Methods Syst. Des.},
volume = {51},
number = {3},
pages = {608--636},
year = {2017},
url = {https://doi.org/10.1007/s10703-017-0295-6},
doi = {10.1007/S10703-017-0295-6},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/NiemetzPB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/NiemetzPB17,
author = {Aina Niemetz and
Mathias Preiner and
Armin Biere},
editor = {Martin Brain and
Liana Hadarean},
title = {Model-Based {API} Testing for {SMT} Solvers},
booktitle = {Proceedings of the 15th International Workshop on Satisfiability Modulo
Theories affiliated with the International Conference on Computer-Aided
Verification {(CAV} 2017), Heidelberg, Germany, July 22 - 23, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1889},
pages = {3--14},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1889/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:48 +0100},
biburl = {https://dblp.org/rec/conf/smt/NiemetzPB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/PreinerNB17,
author = {Mathias Preiner and
Aina Niemetz and
Armin Biere},
editor = {Axel Legay and
Tiziana Margaria},
title = {Counterexample-Guided Model Synthesis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10205},
pages = {264--280},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_15},
doi = {10.1007/978-3-662-54577-5\_15},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/PreinerNB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NiemetzPB16,
author = {Aina Niemetz and
Mathias Preiner and
Armin Biere},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Precise and Complete Propagation Based Local Search for Satisfiability
Modulo Theories},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9779},
pages = {199--217},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41528-4\_11},
doi = {10.1007/978-3-319-41528-4\_11},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/NiemetzPB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/PreinerNB15,
author = {Mathias Preiner and
Aina Niemetz and
Armin Biere},
editor = {Roope Kaivola and
Thomas Wahl},
title = {Better Lemmas with Lambda Extraction},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2015, Austin, Texas,
USA, September 27-30, 2015},
pages = {128--135},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/FMCAD.2015.7542262},
doi = {10.1109/FMCAD.2015.7542262},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/PreinerNB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/NiemetzPB14,
author = {Aina Niemetz and
Mathias Preiner and
Armin Biere},
title = {Boolector 2.0},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {9},
number = {1},
pages = {53--58},
year = {2014},
url = {https://doi.org/10.3233/sat190101},
doi = {10.3233/SAT190101},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/NiemetzPB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/NiemetzPB14,
author = {Aina Niemetz and
Mathias Preiner and
Armin Biere},
title = {Turbo-charging Lemmas on demand with don't care reasoning},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
October 21-24, 2014},
pages = {179--186},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FMCAD.2014.6987611},
doi = {10.1109/FMCAD.2014.6987611},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/NiemetzPB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/PreinerNB13,
author = {Mathias Preiner and
Aina Niemetz and
Armin Biere},
editor = {Malay K. Ganai and
Alper Sen},
title = {Lemmas on Demand for Lambdas},
booktitle = {Proceedings of the Second International Workshop on Design and Implementation
of Formal Tools and Systems, Portland, OR, USA, October 19, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1130},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1130/paper\_7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:13 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/PreinerNB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AignerBKNP13,
author = {Martin Aigner and
Armin Biere and
Christoph M. Kirsch and
Aina Niemetz and
Mathias Preiner},
editor = {Daniel Le Berre},
title = {Analysis of Portfolio-Style Parallel {SAT} Solving on Current Multi-Core
Architectures},
booktitle = {{POS-13.} Fourth Pragmatics of {SAT} workshop, a workshop of the {SAT}
2013 conference, July 7, 2013, Helsinki, Finland},
series = {EPiC Series in Computing},
volume = {29},
pages = {28--40},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/73n4},
doi = {10.29007/73N4},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/AignerBKNP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/NiemetzPLSB12,
author = {Aina Niemetz and
Mathias Preiner and
Florian Lonsing and
Martina Seidl and
Armin Biere},
editor = {Alessandro Cimatti and
Roberto Sebastiani},
title = {Resolution-Based Certificate Extraction for {QBF} - (Tool Presentation)},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7317},
pages = {430--435},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31612-8\_33},
doi = {10.1007/978-3-642-31612-8\_33},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/NiemetzPLSB12.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-19 00:32 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:
