Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Armin Biere
@inproceedings{DBLP:conf/aaai/SpallittaSB24,
author = {Giuseppe Spallitta and
Roberto Sebastiani and
Armin Biere},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Disjoint Partial Enumeration without Blocking Clauses},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {8126--8135},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i8.28652},
doi = {10.1609/AAAI.V38I8.28652},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SpallittaSB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KaufmannB23,
author = {Daniela Kaufmann and
Armin Biere},
title = {Improving AMulet2 for verifying multiplier circuits using {SAT} solving
and computer algebra},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {25},
number = {2},
pages = {133--144},
year = {2023},
url = {https://doi.org/10.1007/s10009-022-00688-6},
doi = {10.1007/S10009-022-00688-6},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/KaufmannB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/YuFBH23,
author = {Emily Yu and
Nils Froleyks and
Armin Biere and
Keijo Heljanko},
editor = {Alexander Nadel and
Kristin Yvonne Rozier},
title = {Towards Compositional Hardware Model Checking Certification},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2023, Ames, IA, USA,
October 24-27, 2023},
pages = {1--11},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.34727/2023/isbn.978-3-85448-060-0\_12},
doi = {10.34727/2023/ISBN.978-3-85448-060-0\_12},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/YuFBH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/FroleyksYB23,
author = {Nils Froleyks and
Emily Yu and
Armin Biere},
editor = {Alexander Nadel and
Kristin Yvonne Rozier},
title = {{BIG} Backbones},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2023, Ames, IA, USA,
October 24-27, 2023},
pages = {162--167},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.34727/2023/isbn.978-3-85448-060-0\_24},
doi = {10.34727/2023/ISBN.978-3-85448-060-0\_24},
timestamp = {Wed, 13 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/FroleyksYB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BiereFW23,
author = {Armin Biere and
Nils Froleyks and
Wenxi Wang},
editor = {Meena Mahajan and
Friedrich Slivovsky},
title = {CadiBack: Extracting Backbones with CaDiCaL},
booktitle = {26th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
series = {LIPIcs},
volume = {271},
pages = {3:1--3:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.SAT.2023.3},
doi = {10.4230/LIPICS.SAT.2023.3},
timestamp = {Thu, 10 Aug 2023 14:37:28 +0200},
biburl = {https://dblp.org/rec/conf/sat/BiereFW23.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 = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/FazekasNPKSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/PollittFB23,
author = {Florian Pollitt and
Mathias Fleury and
Armin Biere},
editor = {Meena Mahajan and
Friedrich Slivovsky},
title = {Faster {LRAT} Checking Than Solving with CaDiCaL},
booktitle = {26th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
series = {LIPIcs},
volume = {271},
pages = {21:1--21:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.SAT.2023.21},
doi = {10.4230/LIPICS.SAT.2023.21},
timestamp = {Thu, 10 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/PollittFB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/PaxianB23,
author = {Tobias Paxian and
Armin Biere},
editor = {Matti J{\"{a}}rvisalo and
Daniel Le Berre},
title = {Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing
and Delta Debugging},
booktitle = {Proceedings of the 14th International Workshop on Pragmatics of {SAT}
co-located with the 26th International Conference on Theory and Applications
of Satisfiability Testing {(SAT} 2023), Alghero, Italy, July 4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3545},
pages = {59--71},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3545/paper5.pdf},
timestamp = {Wed, 20 Dec 2023 17:08:34 +0100},
biburl = {https://dblp.org/rec/conf/sat/PaxianB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BiereFFH23,
author = {Armin Biere and
Mathias Fleury and
Nils Froleyks and
Marijn J. H. Heule},
editor = {Matti J{\"{a}}rvisalo and
Daniel Le Berre},
title = {The {SAT} Museum},
booktitle = {Proceedings of the 14th International Workshop on Pragmatics of {SAT}
co-located with the 26th International Conference on Theory and Applications
of Satisfiability Testing {(SAT} 2023), Alghero, Italy, July 4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3545},
pages = {72--87},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3545/paper6.pdf},
timestamp = {Wed, 20 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/BiereFFH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HeisingerSB23,
author = {Maximilian Heisinger and
Martina Seidl and
Armin Biere},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {ParaQooba: {A} Fast and Flexible Framework for Parallel and Distributed
{QBF} Solving},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {426--447},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_22},
doi = {10.1007/978-3-031-30823-9\_22},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HeisingerSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-00461,
author = {Giuseppe Spallitta and
Roberto Sebastiani and
Armin Biere},
title = {Enumerating Disjoint Partial Models without Blocking Clauses},
journal = {CoRR},
volume = {abs/2306.00461},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.00461},
doi = {10.48550/ARXIV.2306.00461},
eprinttype = {arXiv},
eprint = {2306.00461},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-00461.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/FleuryB22,
author = {Mathias Fleury and
Armin Biere},
title = {Mining definitions in Kissat with Kittens},
journal = {Formal Methods Syst. Des.},
volume = {60},
number = {3},
pages = {381--404},
year = {2022},
url = {https://doi.org/10.1007/s10703-023-00421-2},
doi = {10.1007/S10703-023-00421-2},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/FleuryB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/CaiZFB22,
author = {Shaowei Cai and
Xindi Zhang and
Mathias Fleury and
Armin Biere},
title = {Better Decision Heuristics in {CDCL} through Local Search and Target
Phases},
journal = {J. Artif. Intell. Res.},
volume = {74},
pages = {1515--1563},
year = {2022},
url = {https://doi.org/10.1613/jair.1.13666},
doi = {10.1613/JAIR.1.13666},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/CaiZFB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BiereP22,
author = {Armin Biere and
David Parker},
title = {Tools and algorithms for the construction and analysis of systems:
a special issue for {TACAS} 2020},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {24},
number = {5},
pages = {663--665},
year = {2022},
url = {https://doi.org/10.1007/s10009-022-00677-9},
doi = {10.1007/S10009-022-00677-9},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/BiereP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KaufmannBBN22,
author = {Daniela Kaufmann and
Paul Beame and
Armin Biere and
Jakob Nordstr{\"{o}}m},
editor = {Cristiana Bolchini and
Ingrid Verbauwhede and
Ioana Vatajelu},
title = {Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier
Verification},
booktitle = {2022 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2022, Antwerp, Belgium, March 14-23, 2022},
pages = {1431--1436},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.23919/DATE54114.2022.9774587},
doi = {10.23919/DATE54114.2022.9774587},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/KaufmannBBN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/YuFBH22,
author = {Emily Yu and
Nils Froleyks and
Armin Biere and
Keijo Heljanko},
editor = {Alberto Griggio and
Neha Rungta},
title = {Stratified Certification for k-Induction},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {59--64},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_11},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/YuFBH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/RathBK22,
author = {Jakob Rath and
Armin Biere and
Laura Kov{\'{a}}cs},
editor = {Alberto Griggio and
Neha Rungta},
title = {First-Order Subsumption via {SAT} Solving},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {160--169},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_22},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_22},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/RathBK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/HeisingerSB22,
author = {Maximilian Heisinger and
Martina Seidl and
Armin Biere},
editor = {Boris Konev and
Claudia Schon and
Alexander Steen},
title = {QuAPI: Adding Assumptions to Non-Assuming {SAT} {\&} {QBF} Solvers},
booktitle = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
Co-located with the 11th International Joint Conference on Automated
Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3201},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3201/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:34 +0100},
biburl = {https://dblp.org/rec/conf/paar/HeisingerSB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BiereCHKW22,
author = {Armin Biere and
Md. Solimul Chowdhury and
Marijn J. H. Heule and
Benjamin Kiesl and
Michael W. Whalen},
editor = {Kuldeep S. Meel and
Ofer Strichman},
title = {Migrating Solver State},
booktitle = {25th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {236},
pages = {27:1--27:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.SAT.2022.27},
doi = {10.4230/LIPICS.SAT.2022.27},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/BiereCHKW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BryantBH22,
author = {Randal E. Bryant and
Armin Biere and
Marijn J. H. Heule},
editor = {Dana Fisman and
Grigore Rosu},
title = {Clausal Proofs for Pseudo-Boolean Reasoning},
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 = {443--461},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99524-9\_25},
doi = {10.1007/978-3-030-99524-9\_25},
timestamp = {Fri, 29 Apr 2022 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BryantBH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KaufmannB22,
author = {Daniela Kaufmann and
Armin Biere},
editor = {Laura Kov{\'{a}}cs and
Karl Meinke},
title = {Fuzzing and Delta Debugging And-Inverter Graph Verification Tools},
booktitle = {Tests and Proofs - 16th International Conference, {TAP} 2022, Held
as Part of {STAF} 2022, Nantes, France, July 5, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13361},
pages = {69--88},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-09827-7\_5},
doi = {10.1007/978-3-031-09827-7\_5},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/KaufmannB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-13577,
author = {Mathias Fleury and
Armin Biere},
title = {Scalable Proof Producing Multi-Threaded {SAT} Solving with Gimsatul
through Sharing instead of Copying Clauses},
journal = {CoRR},
volume = {abs/2207.13577},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.13577},
doi = {10.48550/ARXIV.2207.13577},
eprinttype = {arXiv},
eprint = {2207.13577},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-13577.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-01443,
author = {Emily Yu and
Nils Froleyks and
Armin Biere and
Keijo Heljanko},
title = {Stratified Certification for k-Induction},
journal = {CoRR},
volume = {abs/2208.01443},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.01443},
doi = {10.48550/ARXIV.2208.01443},
eprinttype = {arXiv},
eprint = {2208.01443},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-01443.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BeyersdorffBGNO22,
author = {Olaf Beyersdorff and
Armin Biere and
Vijay Ganesh and
Jakob Nordstr{\"{o}}m and
Andy Oertel},
title = {Theory and Practice of {SAT} and Combinatorial Solving (Dagstuhl Seminar
22411)},
journal = {Dagstuhl Reports},
volume = {12},
number = {10},
pages = {84--105},
year = {2022},
url = {https://doi.org/10.4230/DagRep.12.10.84},
doi = {10.4230/DAGREP.12.10.84},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BeyersdorffBGNO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BarnettB21,
author = {Lee A. Barnett and
Armin Biere},
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {Non-clausal Redundancy Properties},
booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
pages = {252--272},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5\_15},
doi = {10.1007/978-3-030-79876-5\_15},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BarnettB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/YuBH20,
author = {Emily Yu and
Armin Biere and
Keijo Heljanko},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Progress in Certifying Hardware Model Checking Results},
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 = {363--386},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_17},
doi = {10.1007/978-3-030-81688-9\_17},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/YuBH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/FroleyksB21,
author = {Nils Froleyks and
Armin Biere},
title = {Single Clause Assumption without Activation Literals to Speed-up {IC3}},
booktitle = {Formal Methods in Computer Aided Design, {FMCAD} 2021, New Haven,
CT, USA, October 19-22, 2021},
pages = {72--76},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4\_15},
doi = {10.34727/2021/ISBN.978-3-85448-046-4\_15},
timestamp = {Tue, 07 Dec 2021 17:02:16 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/FroleyksB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GeB21,
author = {Cunjing Ge and
Armin Biere},
editor = {Zhi{-}Hua Zhou},
title = {Decomposition Strategies to Count Integer Solutions over Linear Constraints},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {1389--1395},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/192},
doi = {10.24963/IJCAI.2021/192},
timestamp = {Wed, 25 Aug 2021 17:11:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GeB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/FleuryB21,
author = {Mathias Fleury and
Armin Biere},
editor = {Chu{-}Min Li and
Felip Many{\`{a}}},
title = {Efficient All-UIP Learned Clause Minimization},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th
International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12831},
pages = {171--187},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80223-3\_12},
doi = {10.1007/978-3-030-80223-3\_12},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/FleuryB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/NawrockiLFHB21,
author = {Wojciech Nawrocki and
Zhenjun Liu and
Andreas Fr{\"{o}}hlich and
Marijn J. H. Heule and
Armin Biere},
editor = {Chu{-}Min Li and
Felip Many{\`{a}}},
title = {{XOR} Local Search for Boolean Brent Equations},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th
International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12831},
pages = {417--435},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80223-3\_29},
doi = {10.1007/978-3-030-80223-3\_29},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/NawrockiLFHB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/OsamaWB21,
author = {Muhammad Osama and
Anton Wijs and
Armin Biere},
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {{SAT} Solving with {GPU} Accelerated Inprocessing},
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 {I}},
series = {Lecture Notes in Computer Science},
volume = {12651},
pages = {133--151},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72016-2\_8},
doi = {10.1007/978-3-030-72016-2\_8},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/OsamaWB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KaufmannB21,
author = {Daniela Kaufmann and
Armin Biere},
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {AMulet 2.0 for Verifying Multiplier Circuits},
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 = {357--364},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72013-1\_19},
doi = {10.1007/978-3-030-72013-1\_19},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KaufmannB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/BiereJK21,
author = {Armin Biere and
Matti J{\"{a}}rvisalo and
Benjamin Kiesl},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Preprocessing in {SAT} Solving},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {391--435},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA200992},
doi = {10.3233/FAIA200992},
timestamp = {Fri, 06 May 2022 08:03:54 +0200},
biburl = {https://dblp.org/rec/series/faia/BiereJK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/Biere21,
author = {Armin Biere},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Bounded Model Checking},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {739--764},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201002},
doi = {10.3233/FAIA201002},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/Biere21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/faia/336,
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA336},
doi = {10.3233/FAIA336},
isbn = {978-1-64368-160-3},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/336.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-12924,
author = {Sibylle M{\"{o}}hle and
Roberto Sebastiani and
Armin Biere},
title = {On Enumerating Short Projected Models},
journal = {CoRR},
volume = {abs/2110.12924},
year = {2021},
url = {https://arxiv.org/abs/2110.12924},
eprinttype = {arXiv},
eprint = {2110.12924},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-12924.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KaufmannBK20,
author = {Daniela Kaufmann and
Armin Biere and
Manuel Kauers},
title = {Incremental column-wise verification of arithmetic circuits using
computer algebra},
journal = {Formal Methods Syst. Des.},
volume = {56},
number = {1},
pages = {22--54},
year = {2020},
url = {https://doi.org/10.1007/s10703-018-00329-2},
doi = {10.1007/S10703-018-00329-2},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/KaufmannBK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BiereTW20,
author = {Armin Biere and
Cesare Tinelli and
Christoph Weidenbach},
title = {Preface to the Special Issue on Automated Reasoning Systems},
journal = {J. Autom. Reason.},
volume = {64},
number = {3},
pages = {361--362},
year = {2020},
url = {https://doi.org/10.1007/s10817-019-09531-1},
doi = {10.1007/S10817-019-09531-1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BiereTW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HeuleKB20,
author = {Marijn J. H. Heule and
Benjamin Kiesl and
Armin Biere},
title = {Strong Extension-Free Proof Systems},
journal = {J. Autom. Reason.},
volume = {64},
number = {3},
pages = {533--554},
year = {2020},
url = {https://doi.org/10.1007/s10817-019-09516-0},
doi = {10.1007/S10817-019-09516-0},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HeuleKB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KieslRHB20,
author = {Benjamin Kiesl and
Adri{\'{a}}n Rebola{-}Pardo and
Marijn J. H. Heule and
Armin Biere},
title = {Simulating Strong Practical Proof Systems with Extended Resolution},
journal = {J. Autom. Reason.},
volume = {64},
number = {7},
pages = {1247--1267},
year = {2020},
url = {https://doi.org/10.1007/s10817-020-09554-z},
doi = {10.1007/S10817-020-09554-Z},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KieslRHB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BarnettCB20,
author = {Lee A. Barnett and
David M. Cerna and
Armin Biere},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {Covered Clauses Are Not Propagation Redundant},
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 = {32--47},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51074-9\_3},
doi = {10.1007/978-3-030-51074-9\_3},
timestamp = {Thu, 26 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/BarnettCB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/KaufmannB20,
author = {Daniela Kaufmann and
Armin Biere},
editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
title = {Nullstellensatz-Proofs for Multiplier Verification},
booktitle = {Computer Algebra in Scientific Computing - 22nd International Workshop,
{CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12291},
pages = {368--389},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60026-6\_21},
doi = {10.1007/978-3-030-60026-6\_21},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/KaufmannB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/FazekasSBP20,
author = {Katalin Fazekas and
Markus Sinnl and
Armin Biere and
Sophie N. Parragh},
editor = {Emmanuel Hebrard and
Nysret Musliu},
title = {Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth
Problem},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and
Operations Research - 17th International Conference, {CPAIOR} 2020,
Vienna, Austria, September 21-24, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12296},
pages = {186--204},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58942-4\_13},
doi = {10.1007/978-3-030-58942-4\_13},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/FazekasSBP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/CernaSSWB20,
author = {David M. Cerna and
Martina Seidl and
Wolfgang Schreiner and
Wolfgang Windsteiger and
Armin Biere},
editor = {H. Chad Lane and
Susan Zvacek and
James Uhomoibhi},
title = {Computational Logic in the First Semester of Computer Science: An
Experience Report},
booktitle = {Proceedings of the 12th International Conference on Computer Supported
Education, {CSEDU} 2020, Prague, Czech Republic, May 2-4, 2020, Volume
2},
pages = {374--381},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0009464403740381},
doi = {10.5220/0009464403740381},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csedu/CernaSSWB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KaufmannBK20,
author = {Daniela Kaufmann and
Armin Biere and
Manuel Kauers},
title = {From {DRUP} to {PAC} and Back},
booktitle = {2020 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2020, Grenoble, France, March 9-13, 2020},
pages = {654--657},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.23919/DATE48585.2020.9116276},
doi = {10.23919/DATE48585.2020.9116276},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/KaufmannBK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Biere20,
author = {Armin Biere},
title = {Tutorial on World-Level Model Checking},
booktitle = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa,
Israel, September 21-24, 2020},
pages = {1},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_3},
doi = {10.34727/2020/ISBN.978-3-85448-042-6\_3},
timestamp = {Thu, 14 Jan 2021 08:55:22 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Biere20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/KaufmannFB20,
author = {Daniela Kaufmann and
Mathias Fleury and
Armin Biere},
title = {The Proof Checkers Pacheck and Past{\`{e}}que for the Practical Algebraic
Calculus},
booktitle = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa,
Israel, September 21-24, 2020},
pages = {264--269},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_34},
doi = {10.34727/2020/ISBN.978-3-85448-042-6\_34},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/KaufmannFB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/CernaSSWB20,
author = {David M. Cerna and
Martina Seidl and
Wolfgang Schreiner and
Wolfgang Windsteiger and
Armin Biere},
editor = {Michail N. Giannakos and
Guttorm Sindre and
Andrew Luxton{-}Reilly and
Monica Divitini},
title = {Aiding an Introduction to Formal Reasoning Within a First-Year Logic
Course for {CS} Majors Using a Mobile Self-Study App},
booktitle = {Proceedings of the 2020 {ACM} Conference on Innovation and Technology
in Computer Science Education, ITiCSE 2020, Trondheim, Norway, June
15-19, 2020},
pages = {61--67},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3341525.3387409},
doi = {10.1145/3341525.3387409},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/CernaSSWB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MohleSB20,
author = {Sibylle M{\"{o}}hle and
Roberto Sebastiani and
Armin Biere},
editor = {Luca Pulina and
Martina Seidl},
title = {Four Flavors of Entailment},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2020 - 23rd
International Conference, Alghero, Italy, July 3-10, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12178},
pages = {62--71},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51825-7\_5},
doi = {10.1007/978-3-030-51825-7\_5},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/MohleSB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/HeisingerFB20,
author = {Maximilian Heisinger and
Mathias Fleury and
Armin Biere},
editor = {Luca Pulina and
Martina Seidl},
title = {Distributed Cube and Conquer with Paracooba},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2020 - 23rd
International Conference, Alghero, Italy, July 3-10, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12178},
pages = {114--122},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51825-7\_9},
doi = {10.1007/978-3-030-51825-7\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/HeisingerFB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2020-1,
editor = {Armin Biere and
David Parker},
title = {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},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45190-5},
doi = {10.1007/978-3-030-45190-5},
isbn = {978-3-030-45189-9},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2020-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2020-2,
editor = {Armin Biere and
David Parker},
title = {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 {II}},
series = {Lecture Notes in Computer Science},
volume = {12079},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45237-7},
doi = {10.1007/978-3-030-45237-7},
isbn = {978-3-030-45236-0},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2020-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KieslHB19,
author = {Benjamin Kiesl and
Marijn J. H. Heule and
Armin Biere},
editor = {Yu{-}Fang Chen and
Chih{-}Hong Cheng and
Javier Esparza},
title = {Truth Assignments as Conditional Autarkies},
booktitle = {Automated Technology for Verification and Analysis - 17th International
Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11781},
pages = {48--64},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31784-3\_3},
doi = {10.1007/978-3-030-31784-3\_3},
timestamp = {Mon, 03 Jan 2022 17:11:32 +0100},
biburl = {https://dblp.org/rec/conf/atva/KieslHB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/KaufmannBK19,
author = {Daniela Kaufmann and
Armin Biere and
Manuel Kauers},
editor = {Clark W. Barrett and
Jin Yang},
title = {Verifying Large Multipliers by Combining {SAT} and Computer Algebra},
booktitle = {2019 Formal Methods in Computer Aided Design, {FMCAD} 2019, San Jose,
CA, USA, October 22-25, 2019},
pages = {28--36},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/FMCAD.2019.8894250},
doi = {10.23919/FMCAD.2019.8894250},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/KaufmannBK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/YuSB19,
author = {Emily Yu and
Martina Seidl and
Armin Biere},
editor = {Osman Hasan and
Fr{\'{e}}d{\'{e}}ric Mallet},
title = {A Framework for Model Checking Against {CTLK} Using Quantified Boolean
Formulas},
booktitle = {Formal Techniques for Safety-Critical Systems - 7th International
Workshop, {FTSCS} 2019, Shenzhen, China, November 9, 2019, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1165},
pages = {127--132},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46902-3\_8},
doi = {10.1007/978-3-030-46902-3\_8},
timestamp = {Tue, 05 May 2020 17:50:59 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/YuSB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/MohleB19,
author = {Sibylle M{\"{o}}hle and
Armin Biere},
editor = {Diego Calvanese and
Luca Iocchi},
title = {Combining Conflict-Driven Clause Learning and Chronological Backtracking
for Propositional Model Counting},
booktitle = {{GCAI} 2019. Proceedings of the 5th Global Conference on Artificial
Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019},
series = {EPiC Series in Computing},
volume = {65},
pages = {113--126},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/vgg4},
doi = {10.29007/VGG4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/MohleB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/YuBH19,
author = {Zhengqi Yu and
Armin Biere and
Keijo Heljanko},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Certifying Hardware Model Checking Results},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {498--502},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_32},
doi = {10.1007/978-3-030-32409-4\_32},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/YuBH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ShuklaBPS19,
author = {Ankit Shukla and
Armin Biere and
Luca Pulina and
Martina Seidl},
title = {A Survey on Applications of Quantified Boolean Formulas},
booktitle = {31st {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2019, Portland, OR, USA, November 4-6, 2019},
pages = {78--84},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICTAI.2019.00020},
doi = {10.1109/ICTAI.2019.00020},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/ShuklaBPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/HeuleKB19,
author = {Marijn J. H. Heule and
Benjamin Kiesl and
Armin Biere},
editor = {Julia M. Badger and
Kristin Yvonne Rozier},
title = {Clausal Proofs of Mutilated Chessboards},
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 = {204--210},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20652-9\_13},
doi = {10.1007/978-3-030-20652-9\_13},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/HeuleKB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/FazekasBS19,
author = {Katalin Fazekas and
Armin Biere and
Christoph Scholl},
editor = {Mikol{\'{a}}s Janota and
In{\^{e}}s Lynce},
title = {Incremental Inprocessing in {SAT} Solving},
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 = {136--154},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-24258-9\_9},
doi = {10.1007/978-3-030-24258-9\_9},
timestamp = {Tue, 02 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/FazekasBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MohleB19,
author = {Sibylle M{\"{o}}hle and
Armin Biere},
editor = {Mikol{\'{a}}s Janota and
In{\^{e}}s Lynce},
title = {Backing Backtracking},
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 = {250--266},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-24258-9\_18},
doi = {10.1007/978-3-030-24258-9\_18},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/MohleB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HeuleKB19,
author = {Marijn J. H. Heule and
Benjamin Kiesl and
Armin Biere},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Encoding Redundancy for Satisfaction-Driven Clause Learning},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11427},
pages = {41--58},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17462-0\_3},
doi = {10.1007/978-3-030-17462-0\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HeuleKB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vampire/RitircBK19,
author = {Daniela Ritirc and
Armin Biere and
Manuel Kauers},
editor = {Laura Kov{\'{a}}cs and
Andrei Voronkov},
title = {SAT, Computer Algebra, Multipliers},
booktitle = {Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops},
series = {EPiC Series in Computing},
volume = {71},
pages = {1--18},
publisher = {EasyChair},
year = {2019},
url = {https://easychair.org/publications/paper/bpc4},
timestamp = {Wed, 11 Aug 2021 18:57:50 +0200},
biburl = {https://dblp.org/rec/conf/vampire/RitircBK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KieslSTB18,
author = {Benjamin Kiesl and
Martina Seidl and
Hans Tompits and
Armin Biere},
title = {Local Redundancy in {SAT:} Generalizations of Blocked Clauses},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {4},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(4:3)2018},
doi = {10.23638/LMCS-14(4:3)2018},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/KieslSTB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FazekasBB18,
author = {Katalin Fazekas and
Fahiem Bacchus and
Armin Biere},
editor = {Didier Galmiche and
Stephan Schulz and
Roberto Sebastiani},
title = {Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo
Theories},
booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10900},
pages = {134--151},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94205-6\_10},
doi = {10.1007/978-3-319-94205-6\_10},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/FazekasBB18.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}
}
@inproceedings{DBLP:conf/date/RitircBK18,
author = {Daniela Ritirc and
Armin Biere and
Manuel Kauers},
editor = {Jan Madsen and
Ayse K. Coskun},
title = {Improving and extending the algebraic approach for verifying gate-level
multipliers},
booktitle = {2018 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2018, Dresden, Germany, March 19-23, 2018},
pages = {1556--1561},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/DATE.2018.8342263},
doi = {10.23919/DATE.2018.8342263},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/RitircBK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/MohleB18,
author = {Sibylle M{\"{o}}hle and
Armin Biere},
editor = {Lefteri H. Tsoukalas and
{\'{E}}ric Gr{\'{e}}goire and
Miltiadis Alamaniotis},
title = {Dualizing Projected Model Counting},
booktitle = {{IEEE} 30th International Conference on Tools with Artificial Intelligence,
{ICTAI} 2018, 5-7 November 2018, Volos, Greece},
pages = {702--709},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICTAI.2018.00111},
doi = {10.1109/ICTAI.2018.00111},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/MohleB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BiereF18,
author = {Armin Biere and
Andreas Fr{\"{o}}hlich},
editor = {Daniel Le Berre and
Matti J{\"{a}}rvisalo},
title = {Evaluating {CDCL} Restart Schemes},
booktitle = {Proceedings of Pragmatics of {SAT} 2015, Austin, Texas, USA, September
23, 2015 / Pragmatics of {SAT} 2018, Oxford, UK, July 7, 2018},
series = {EPiC Series in Computing},
volume = {59},
pages = {1--17},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/89dw},
doi = {10.29007/89DW},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BiereF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Rebola-PardoB18,
author = {Adri{\'{a}}n Rebola{-}Pardo and
Armin Biere},
editor = {Daniel Le Berre and
Matti J{\"{a}}rvisalo},
title = {Two flavors of {DRAT}},
booktitle = {Proceedings of Pragmatics of {SAT} 2015, Austin, Texas, USA, September
23, 2015 / Pragmatics of {SAT} 2018, Oxford, UK, July 7, 2018},
series = {EPiC Series in Computing},
volume = {59},
pages = {94--110},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/lt8r},
doi = {10.29007/LT8R},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/Rebola-PardoB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BiereH18,
author = {Armin Biere and
Marijn Heule},
editor = {Daniel Le Berre and
Matti J{\"{a}}rvisalo},
title = {The Effect of Scrambling CNFs},
booktitle = {Proceedings of Pragmatics of {SAT} 2015, Austin, Texas, USA, September
23, 2015 / Pragmatics of {SAT} 2018, Oxford, UK, July 7, 2018},
series = {EPiC Series in Computing},
volume = {59},
pages = {111--126},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/9dj5},
doi = {10.29007/9DJ5},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BiereH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scsquare/RitircBK18,
author = {Daniela Ritirc and
Armin Biere and
Manuel Kauers},
editor = {Anna Maria Bigatti and
Martin Brain},
title = {A Practical Polynomial Calculus for Arithmetic Circuit Verification},
booktitle = {Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic
Computation co-located with Federated Logic Conference, SC-Square@FLOC
2018, Oxford, UK, July 11, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2189},
pages = {61},
publisher = {CEUR-WS.org},
year = {2018},
url = {http://ceur-ws.org/Vol-2189/paper6.pdf},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/scsquare/RitircBK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HeuleB18,
author = {Marijn J. H. Heule and
Armin Biere},
editor = {Dirk Beyer and
Marieke Huisman},
title = {What a Difference a Variable Makes},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10806},
pages = {75--92},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89963-3\_5},
doi = {10.1007/978-3-319-89963-3\_5},
timestamp = {Fri, 09 Apr 2021 18:45:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HeuleB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/18/HeuleKB18,
author = {Marijn J. H. Heule and
Oliver Kullmann and
Armin Biere},
editor = {Youssef Hamadi and
Lakhdar Sais},
title = {Cube-and-Conquer for Satisfiability},
booktitle = {Handbook of Parallel Constraint Reasoning},
pages = {31--59},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-63516-3\_2},
doi = {10.1007/978-3-319-63516-3\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/18/HeuleKB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/mc/BiereK18,
author = {Armin Biere and
Daniel Kr{\"{o}}ning},
editor = {Edmund M. Clarke and
Thomas A. Henzinger and
Helmut Veith and
Roderick Bloem},
title = {SAT-Based Model Checking},
booktitle = {Handbook of Model Checking},
pages = {277--303},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-10575-8\_10},
doi = {10.1007/978-3-319-10575-8\_10},
timestamp = {Mon, 03 Jan 2022 22:13:30 +0100},
biburl = {https://dblp.org/rec/reference/mc/BiereK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-03496,
author = {Tom van Dijk and
R{\"{u}}diger Ehlers and
Armin Biere},
title = {Revisiting Decision Diagrams for {SAT}},
journal = {CoRR},
volume = {abs/1805.03496},
year = {2018},
url = {http://arxiv.org/abs/1805.03496},
eprinttype = {arXiv},
eprint = {1805.03496},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-03496.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}
}
@article{DBLP:journals/jar/HeuleSB17,
author = {Marijn J. H. Heule and
Martina Seidl and
Armin Biere},
title = {Solution Validation and Extraction for {QBF} Preprocessing},
journal = {J. Autom. Reason.},
volume = {58},
number = {1},
pages = {97--125},
year = {2017},
url = {https://doi.org/10.1007/s10817-016-9390-4},
doi = {10.1007/S10817-016-9390-4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HeuleSB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HeuleKB17,
author = {Marijn J. H. Heule and
Benjamin Kiesl and
Armin Biere},
editor = {Leonardo de Moura},
title = {Short Proofs Without New Variables},
booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on
Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10395},
pages = {130--147},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63046-5\_9},
doi = {10.1007/978-3-319-63046-5\_9},
timestamp = {Thu, 29 Sep 2022 08:36:56 +0200},
biburl = {https://dblp.org/rec/conf/cade/HeuleKB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BiereDH17,
author = {Armin Biere and
Tom van Dijk and
Keijo Heljanko},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Hardware model checking competition 2017},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {9},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102233},
doi = {10.23919/FMCAD.2017.8102233},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BiereDH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/RitircBK17,
author = {Daniela Ritirc and
Armin Biere and
Manuel Kauers},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Column-wise verification of multipliers using computer algebra},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {23--30},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102237},
doi = {10.23919/FMCAD.2017.8102237},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/RitircBK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/HeuleKSB17,
author = {Marijn J. H. Heule and
Benjamin Kiesl and
Martina Seidl and
Armin Biere},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {PRuning Through Satisfaction},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {179--194},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_12},
doi = {10.1007/978-3-319-70389-3\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/HeuleKSB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KieslSTB17,
author = {Benjamin Kiesl and
Martina Seidl and
Hans Tompits and
Armin Biere},
editor = {Carles Sierra},
title = {Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {4884--4888},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/687},
doi = {10.24963/IJCAI.2017/687},
timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KieslSTB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Kiesl0STB17,
author = {Benjamin Kiesl and
Martin Suda and
Martina Seidl and
Hans Tompits and
Armin Biere},
editor = {Thomas Eiter and
David Sands},
title = {Blocked Clauses in First-Order Logic},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {31--48},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/c3wq},
doi = {10.29007/C3WQ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Kiesl0STB17.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/synasc/BiereKR17,
author = {Armin Biere and
Manuel Kauers and
Daniela Ritirc},
editor = {Tudor Jebelean and
Viorel Negru and
Dana Petcu and
Daniela Zaharie and
Tetsuo Ida and
Stephen M. Watt},
title = {Challenges in Verifying Arithmetic Circuits Using Computer Algebra},
booktitle = {19th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2017, Timisoara, Romania, September
21-24, 2017},
pages = {9--15},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SYNASC.2017.00010},
doi = {10.1109/SYNASC.2017.00010},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/synasc/BiereKR17.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/tap/FazekasHSB17,
author = {Katalin Fazekas and
Marijn J. H. Heule and
Martina Seidl and
Armin Biere},
editor = {Sebastian Gabmeyer and
Einar Broch Johnsen},
title = {Skolem Function Continuation for Quantified Boolean Formulas},
booktitle = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
Germany, July 19-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10375},
pages = {129--138},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61467-0\_8},
doi = {10.1007/978-3-319-61467-0\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/FazekasHSB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ysip/BiereHM17,
author = {Armin Biere and
Steffen H{\"{o}}lldobler and
Sibylle M{\"{o}}hle},
editor = {Steffen H{\"{o}}lldobler and
Andrey Malikov and
Christoph Wernhard},
title = {An Abstract Dual Propositional Model Counter},
booktitle = {{YSIP2} - Proceedings of the Second Young Scientist's International
Workshop on Trends in Information Processing, Dombai, Russian Federation,
May 16-20, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1837},
pages = {17--26},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1837/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:30 +0100},
biburl = {https://dblp.org/rec/conf/ysip/BiereHM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KieslSSTB17,
author = {Benjamin Kiesl and
Martin Suda and
Martina Seidl and
Hans Tompits and
Armin Biere},
title = {Blocked Clauses in First-Order Logic},
journal = {CoRR},
volume = {abs/1702.00847},
year = {2017},
url = {http://arxiv.org/abs/1702.00847},
eprinttype = {arXiv},
eprint = {1702.00847},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KieslSSTB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KieslSTB17,
author = {Benjamin Kiesl and
Martina Seidl and
Hans Tompits and
Armin Biere},
title = {Local Redundancy in {SAT:} Generalizations of Blocked Clauses},
journal = {CoRR},
volume = {abs/1702.05527},
year = {2017},
url = {http://arxiv.org/abs/1702.05527},
eprinttype = {arXiv},
eprint = {1702.05527},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KieslSTB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BalyoBIS16,
author = {Tom{\'{a}}s Balyo and
Armin Biere and
Markus Iser and
Carsten Sinz},
title = {{SAT} Race 2015},
journal = {Artif. Intell.},
volume = {241},
pages = {45--65},
year = {2016},
url = {https://doi.org/10.1016/j.artint.2016.08.007},
doi = {10.1016/J.ARTINT.2016.08.007},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BalyoBIS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/KovasznaiFB16,
author = {Gergely Kov{\'{a}}sznai and
Andreas Fr{\"{o}}hlich and
Armin Biere},
title = {Complexity of Fixed-Size Bit-Vector Logics},
journal = {Theory Comput. Syst.},
volume = {59},
number = {2},
pages = {323--376},
year = {2016},
url = {https://doi.org/10.1007/s00224-015-9653-1},
doi = {10.1007/S00224-015-9653-1},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/KovasznaiFB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KieslSTB16,
author = {Benjamin Kiesl and
Martina Seidl and
Hans Tompits and
Armin Biere},
editor = {Nicola Olivetti and
Ashish Tiwari},
title = {Super-Blocked Clauses},
booktitle = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9706},
pages = {45--61},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40229-1\_5},
doi = {10.1007/978-3-319-40229-1\_5},
timestamp = {Mon, 26 Jun 2023 20:45:22 +0200},
biburl = {https://dblp.org/rec/conf/cade/KieslSTB16.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/kbse/0002BAKC16,
author = {Akihisa Yamada and
Armin Biere and
Cyrille Artho and
Takashi Kitamura and
Eun{-}Hye Choi},
editor = {David Lo and
Sven Apel and
Sarfraz Khurshid},
title = {Greedy combinatorial test case generation using unsatisfiable cores},
booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
pages = {614--624},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2970276.2970335},
doi = {10.1145/2970276.2970335},
timestamp = {Sat, 30 Sep 2023 09:51:40 +0200},
biburl = {https://dblp.org/rec/conf/kbse/0002BAKC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/FazekasSB16,
author = {Katalin Fazekas and
Martina Seidl and
Armin Biere},
editor = {James H. Davenport and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {A Duality-Aware Calculus for Quantified Boolean Formulas},
booktitle = {18th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2016, Timisoara, Romania, September
24-27, 2016},
pages = {181--186},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SYNASC.2016.038},
doi = {10.1109/SYNASC.2016.038},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/synasc/FazekasSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/HeuleJLSB15,
author = {Marijn Heule and
Matti J{\"{a}}rvisalo and
Florian Lonsing and
Martina Seidl and
Armin Biere},
title = {Clause Elimination for {SAT} and {QSAT}},
journal = {J. Artif. Intell. Res.},
volume = {53},
pages = {127--168},
year = {2015},
url = {https://doi.org/10.1613/jair.4694},
doi = {10.1613/JAIR.4694},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/HeuleJLSB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FrohlichBWH15,
author = {Andreas Fr{\"{o}}hlich and
Armin Biere and
Christoph M. Wintersteiger and
Youssef Hamadi},
editor = {Blai Bonet and
Sven Koenig},
title = {Stochastic Local Search for Satisfiability Modulo Theories},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {1136--1143},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9372},
doi = {10.1609/AAAI.V29I1.9372},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FrohlichBWH15.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}
}
@inproceedings{DBLP:conf/icst/YamadaKACOB15,
author = {Akihisa Yamada and
Takashi Kitamura and
Cyrille Artho and
Eun{-}Hye Choi and
Yutaka Oiwa and
Armin Biere},
title = {Optimization of Combinatorial Testing by Incremental {SAT} Solving},
booktitle = {8th {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICST.2015.7102599},
doi = {10.1109/ICST.2015.7102599},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/YamadaKACOB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HeuleB15a,
author = {Marijn Heule and
Armin Biere},
editor = {Boris Konev and
Stephan Schulz and
Laurent Simon},
title = {Clausal Proof Compression},
booktitle = {IWIL@LPAR 2015, 11th International Workshop on the Implementation
of Logics, Suva, Fiji, November 23, 2015},
series = {EPiC Series in Computing},
volume = {40},
pages = {21--26},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/sgpl},
doi = {10.29007/SGPL},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HeuleB15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/LonsingBBES15,
author = {Florian Lonsing and
Fahiem Bacchus and
Armin Biere and
Uwe Egly and
Martina Seidl},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {Enhancing Search-Based {QBF} Solving by Dynamic Blocked Clause Elimination},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {418--433},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_29},
doi = {10.1007/978-3-662-48899-7\_29},
timestamp = {Mon, 03 Jan 2022 22:31:30 +0100},
biburl = {https://dblp.org/rec/conf/lpar/LonsingBBES15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HeuleB15,
author = {Marijn J. H. Heule and
Armin Biere},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {Compositional Propositional Proofs},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {444--459},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_31},
doi = {10.1007/978-3-662-48899-7\_31},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HeuleB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/HeuleSB15,
author = {Marijn Heule and
Martina Seidl and
Armin Biere},
editor = {Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Blocked Literals Are Universal},
booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
CA, USA, April 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9058},
pages = {436--442},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17524-9\_33},
doi = {10.1007/978-3-319-17524-9\_33},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/HeuleSB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BiereF15,
author = {Armin Biere and
Andreas Fr{\"{o}}hlich},
editor = {Marijn Heule and
Sean A. Weaver},
title = {Evaluating {CDCL} Variable Scoring Schemes},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2015 - 18th
International Conference, Austin, TX, USA, September 24-27, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9340},
pages = {405--422},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24318-4\_29},
doi = {10.1007/978-3-319-24318-4\_29},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BiereF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BiereGGNW15,
author = {Armin Biere and
Vijay Ganesh and
Martin Grohe and
Jakob Nordstr{\"{o}}m and
Ryan Williams},
title = {Theory and Practice of {SAT} Solving (Dagstuhl Seminar 15171)},
journal = {Dagstuhl Reports},
volume = {5},
number = {4},
pages = {98--122},
year = {2015},
url = {https://doi.org/10.4230/DagRep.5.4.98},
doi = {10.4230/DAGREP.5.4.98},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BiereGGNW15.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 = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/NiemetzPB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/CabodiLPPPQVBH14,
author = {Gianpiero Cabodi and
Carmelo Loiacono and
Marco Palena and
Paolo Pasini and
Denis Patti and
Stefano Quer and
Danilo Vendraminetto and
Armin Biere and
Keijo Heljanko},
title = {Hardware Model Checking Competition 2014: An Analysis and Comparison
of Solvers and Benchmarks},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {9},
number = {1},
pages = {135--172},
year = {2014},
url = {https://doi.org/10.3233/sat190106},
doi = {10.3233/SAT190106},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/CabodiLPPPQVBH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ria/AudemardBLS14,
author = {Gilles Audemard and
Armin Biere and
Jean{-}Marie Lagniez and
Laurent Simon},
title = {Am{\'{e}}liorer {SAT} dans le cadre incr{\'{e}}mental},
journal = {Rev. d'Intelligence Artif.},
volume = {28},
number = {5},
pages = {593--614},
year = {2014},
url = {https://doi.org/10.3166/ria.28.593-614},
doi = {10.3166/RIA.28.593-614},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ria/AudemardBLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BiereDKV14,
author = {Armin Biere and
Ioan Dragan and
Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {Laura Kov{\'{a}}cs and
Andrei Voronkov},
title = {{SAT} solving experiments in Vampire},
booktitle = {Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014,
Vienna, Austria, July 23, 2014 / Vampire@CADE 2015, Berlin, Germany,
August 2, 2015},
series = {EPiC Series in Computing},
volume = {38},
pages = {29--32},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/5l47},
doi = {10.29007/5L47},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BiereDKV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HeuleSB14,
author = {Marijn Heule and
Martina Seidl and
Armin Biere},
editor = {St{\'{e}}phane Demri and
Deepak Kapur and
Christoph Weidenbach},
title = {A Unified Proof System for {QBF} Preprocessing},
booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 19-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8562},
pages = {91--106},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08587-6\_7},
doi = {10.1007/978-3-319-08587-6\_7},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HeuleSB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Biere14,
author = {Armin Biere},
title = {Challenges in bit-precise reasoning},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
October 21-24, 2014},
pages = {3},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FMCAD.2014.6987584},
doi = {10.1109/FMCAD.2014.6987584},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Biere14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HeuleSB14,
author = {Marijn Heule and
Martina Seidl and
Armin Biere},
title = {Efficient extraction of Skolem functions from {QRAT} proofs},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
October 21-24, 2014},
pages = {107--114},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FMCAD.2014.6987602},
doi = {10.1109/FMCAD.2014.6987602},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/HeuleSB14.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 = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/NiemetzPB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KovasznaiVFB14,
author = {Gergely Kov{\'{a}}sznai and
Helmut Veith and
Andreas Fr{\"{o}}hlich and
Armin Biere},
editor = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Martin Dietzfelbinger and
Zolt{\'{a}}n {\'{E}}sik},
title = {On the Complexity of Symbolic Verification and Decision Problems in
Bit-Vector Logic},
booktitle = {Mathematical Foundations of Computer Science 2014 - 39th International
Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8635},
pages = {481--492},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44465-8\_41},
doi = {10.1007/978-3-662-44465-8\_41},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KovasznaiVFB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/BiereDKV14,
author = {Armin Biere and
Ioan Dragan and
Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {Alexander F. Gelbukh and
F{\'{e}}lix Castro{-}Espinoza and
Sof{\'{\i}}a N. Galicia{-}Haro},
title = {Experimenting with {SAT} Solvers in Vampire},
booktitle = {Human-Inspired Computing and Its Applications - 13th Mexican International
Conference on Artificial Intelligence, {MICAI} 2014, Tuxtla Guti{\'{e}}rrez,
Mexico, November 16-22, 2014. Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8856},
pages = {431--442},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13647-9\_39},
doi = {10.1007/978-3-319-13647-9\_39},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micai/BiereDKV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Biere14,
author = {Armin Biere},
editor = {Daniel Le Berre},
title = {Lingeling Essentials, {A} Tutorial on Design and Implementation Aspects
of the the {SAT} Solver Lingeling},
booktitle = {{POS-14.} Fifth Pragmatics of {SAT} workshop, a workshop of the {SAT}
2014 conference, part of FLoC 2014 during the Vienna Summer of Logic,
July 13, 2014, Vienna, Austria},
series = {EPiC Series in Computing},
volume = {27},
pages = {88},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/jhd7},
doi = {10.29007/JHD7},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/Biere14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/FrohlichKBV14,
author = {Andreas Fr{\"{o}}hlich and
Gergely Kov{\'{a}}sznai and
Armin Biere and
Helmut Veith},
editor = {Daniel Le Berre},
title = {iDQ: Instantiation-Based {DQBF} Solving},
booktitle = {{POS-14.} Fifth Pragmatics of {SAT} workshop, a workshop of the {SAT}
2014 conference, part of FLoC 2014 during the Vienna Summer of Logic,
July 13, 2014, Vienna, Austria},
series = {EPiC Series in Computing},
volume = {27},
pages = {103--116},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/1s5k},
doi = {10.29007/1S5K},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/FrohlichKBV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BiereBLM14,
author = {Armin Biere and
Daniel Le Berre and
Emmanuel Lonca and
Norbert Manthey},
editor = {Carsten Sinz and
Uwe Egly},
title = {Detecting Cardinality Constraints in {CNF}},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2014 - 17th
International Conference, Held as Part of the Vienna Summer of Logic,
{VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8561},
pages = {285--301},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09284-3\_22},
doi = {10.1007/978-3-319-09284-3\_22},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BiereBLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BalintBFS14,
author = {Adrian Balint and
Armin Biere and
Andreas Fr{\"{o}}hlich and
Uwe Sch{\"{o}}ning},
editor = {Carsten Sinz and
Uwe Egly},
title = {Improving Implementation of {SLS} Solvers for {SAT} and New Heuristics
for k-SAT with Long Clauses},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2014 - 17th
International Conference, Held as Part of the Vienna Summer of Logic,
{VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8561},
pages = {302--316},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09284-3\_23},
doi = {10.1007/978-3-319-09284-3\_23},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BalintBFS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BalyoFHB14,
author = {Tom{\'{a}}s Balyo and
Andreas Fr{\"{o}}hlich and
Marijn Heule and
Armin Biere},
editor = {Carsten Sinz and
Uwe Egly},
title = {Everything You Always Wanted to Know about Blocked Sets (But Were
Afraid to Ask)},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2014 - 17th
International Conference, Held as Part of the Vienna Summer of Logic,
{VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8561},
pages = {317--332},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09284-3\_24},
doi = {10.1007/978-3-319-09284-3\_24},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BalyoFHB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2014,
editor = {Armin Biere and
Roderick Bloem},
title = {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},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9},
doi = {10.1007/978-3-319-08867-9},
isbn = {978-3-319-08866-2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TakHB14,
author = {Peter van der Tak and
Marijn Heule and
Armin Biere},
title = {Concurrent Cube-and-Conquer},
journal = {CoRR},
volume = {abs/1402.4465},
year = {2014},
url = {http://arxiv.org/abs/1402.4465},
eprinttype = {arXiv},
eprint = {1402.4465},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TakHB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BiereKKZ13,
author = {Armin Biere and
Jens Knoop and
Laura Kov{\'{a}}cs and
Jakob Zwirchmayr},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {SmacC: {A} Retargetable Symbolic Execution Engine},
booktitle = {Automated Technology for Verification and Analysis - 11th International
Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8172},
pages = {482--486},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_40},
doi = {10.1007/978-3-319-02444-8\_40},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BiereKKZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KovasznaiFB13,
author = {Gergely Kov{\'{a}}sznai and
Andreas Fr{\"{o}}hlich and
Armin Biere},
editor = {Maria Paola Bonacina},
title = {: {A} Tool for Polynomially Translating Quantifier-Free Bit-Vector
Formulas into},
booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on
Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7898},
pages = {443--449},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38574-2\_32},
doi = {10.1007/978-3-642-38574-2\_32},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/KovasznaiFB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/HeuleJB13,
author = {Marijn Heule and
Matti J{\"{a}}rvisalo and
Armin Biere},
editor = {Carla P. Gomes and
Meinolf Sellmann},
title = {Revisiting Hyper Binary Resolution},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 10th International Conference,
{CPAIOR} 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7874},
pages = {77--93},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38171-3\_6},
doi = {10.1007/978-3-642-38171-3\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/HeuleJB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/FrohlichKB13,
author = {Andreas Fr{\"{o}}hlich and
Gergely Kov{\'{a}}sznai and
Armin Biere},
editor = {Andrei A. Bulatov and
Arseny M. Shur},
title = {More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics
with Binary Encoding},
booktitle = {Computer Science - Theory and Applications - 8th International Computer
Science Symposium in Russia, {CSR} 2013, Ekaterinburg, Russia, June
25-29, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7913},
pages = {378--390},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38536-0\_33},
doi = {10.1007/978-3-642-38536-0\_33},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/csr/FrohlichKB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GoultiaevaSB13,
author = {Alexandra Goultiaeva and
Martina Seidl and
Armin Biere},
editor = {Enrico Macii},
title = {Bridging the gap between dual propagation and CNF-based {QBF} solving},
booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
March 18-22, 2013},
pages = {811--814},
publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
year = {2013},
url = {https://doi.org/10.7873/DATE.2013.172},
doi = {10.7873/DATE.2013.172},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/GoultiaevaSB13.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/hvc/ArthoBHPSTY13,
author = {Cyrille Valentin Artho and
Armin Biere and
Masami Hagiya and
Eric Platon and
Martina Seidl and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
editor = {Valeria Bertacco and
Axel Legay},
title = {Modbat: {A} Model-Based {API} Tester for Event-Driven Systems},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {112--128},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_8},
doi = {10.1007/978-3-319-03077-7\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ArthoBHPSTY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HeuleB13,
author = {Marijn Heule and
Armin Biere},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {Blocked Clause Decomposition},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {423--438},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_29},
doi = {10.1007/978-3-642-45221-5\_29},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HeuleB13.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/LagniezB13,
author = {Jean{-}Marie Lagniez and
Armin Biere},
editor = {Matti J{\"{a}}rvisalo and
Allen Van Gelder},
title = {Factoring Out Assumptions to Speed Up {MUS} Extraction},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7962},
pages = {276--292},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39071-5\_21},
doi = {10.1007/978-3-642-39071-5\_21},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/LagniezB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/ArthoBS13,
author = {Cyrille Artho and
Armin Biere and
Martina Seidl},
editor = {Margus Veanes and
Luca Vigan{\`{o}}},
title = {Model-Based Testing for Verification Back-Ends},
booktitle = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
Hungary, June 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7942},
pages = {39--55},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38916-0\_3},
doi = {10.1007/978-3-642-38916-0\_3},
timestamp = {Tue, 23 Jun 2020 17:47:28 +0200},
biburl = {https://dblp.org/rec/conf/tap/ArthoBS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/BiereKKZ13,
author = {Armin Biere and
Jens Knoop and
Laura Kov{\'{a}}cs and
Jakob Zwirchmayr},
editor = {Claire Maiza},
title = {The Auspicious Couple: Symbolic Execution and {WCET} Analysis},
booktitle = {13th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2013, July 9, 2013, Paris, France},
series = {OASIcs},
volume = {30},
pages = {53--63},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/OASIcs.WCET.2013.53},
doi = {10.4230/OASICS.WCET.2013.53},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/BiereKKZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2012,
editor = {Armin Biere and
Amir Nahir and
Tanja E. J. Vos},
title = {Hardware and Software: Verification and Testing - 8th International
Haifa Verification Conference, {HVC} 2012, Haifa, Israel, November
6-8, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7857},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39611-3},
doi = {10.1007/978-3-642-39611-3},
isbn = {978-3-642-39610-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/JarvisaloBH12,
author = {Matti J{\"{a}}rvisalo and
Armin Biere and
Marijn Heule},
title = {Simulating Circuit-Level Simplifications on {CNF}},
journal = {J. Autom. Reason.},
volume = {49},
number = {4},
pages = {583--619},
year = {2012},
url = {https://doi.org/10.1007/s10817-011-9239-9},
doi = {10.1007/S10817-011-9239-9},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/JarvisaloBH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Biere12,
author = {Armin Biere},
editor = {Pascal Fontaine and
Amit Goel},
title = {Practical Aspects of {SAT} Solving},
booktitle = {10th International Workshop on Satisfiability Modulo Theories, {SMT}
2012, Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {20},
pages = {1},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/kbw9},
doi = {10.29007/KBW9},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Biere12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Biere12a,
author = {Armin Biere},
editor = {Pascal Fontaine and
Renate A. Schmidt and
Stephan Schulz},
title = {Practical Aspects of {SAT} Solving},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {21},
pages = {1},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/hnks},
doi = {10.29007/HNKS},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Biere12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KovasznaiFB12,
author = {Gergely Kov{\'{a}}sznai and
Andreas Fr{\"{o}}hlich and
Armin Biere},
editor = {Pascal Fontaine and
Amit Goel},
title = {On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded
Bit-Width},
booktitle = {10th International Workshop on Satisfiability Modulo Theories, {SMT}
2012, Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {20},
pages = {44--56},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/cvnz},
doi = {10.29007/CVNZ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/KovasznaiFB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SeidlLB12,
author = {Martina Seidl and
Florian Lonsing and
Armin Biere},
editor = {Pascal Fontaine and
Renate A. Schmidt and
Stephan Schulz},
title = {qbf2epr: {A} Tool for Generating {EPR} Formulas from {QBF}},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {21},
pages = {139--148},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/2b5d},
doi = {10.29007/2B5D},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SeidlLB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/JarvisaloHB12,
author = {Matti J{\"{a}}rvisalo and
Marijn Heule and
Armin Biere},
editor = {Bernhard Gramlich and
Dale Miller and
Uli Sattler},
title = {Inprocessing Rules},
booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
2012, Manchester, UK, June 26-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7364},
pages = {355--370},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31365-3\_28},
doi = {10.1007/978-3-642-31365-3\_28},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/JarvisaloHB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/MantheyHB12,
author = {Norbert Manthey and
Marijn Heule and
Armin Biere},
editor = {Armin Biere and
Amir Nahir and
Tanja E. J. Vos},
title = {Automated Reencoding of Boolean Formulas},
booktitle = {Hardware and Software: Verification and Testing - 8th International
Haifa Verification Conference, {HVC} 2012, Haifa, Israel, November
6-8, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7857},
pages = {102--117},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39611-3\_14},
doi = {10.1007/978-3-642-39611-3\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/MantheyHB12.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}
}
@inproceedings{DBLP:conf/sat/TakHB12,
author = {Peter van der Tak and
Marijn Heule and
Armin Biere},
editor = {Alessandro Cimatti and
Roberto Sebastiani},
title = {Concurrent Cube-and-Conquer - (Poster 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 = {475--476},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31612-8\_42},
doi = {10.1007/978-3-642-31612-8\_42},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/TakHB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/WidlBBEHKST12,
author = {Magdalena Widl and
Armin Biere and
Petra Brosch and
Uwe Egly and
Marijn Heule and
Gerti Kappel and
Martina Seidl and
Hans Tompits},
editor = {Krzysztof Czarnecki and
G{\"{o}}rel Hedin},
title = {Guided Merging of Sequence Diagrams},
booktitle = {Software Language Engineering, 5th International Conference, {SLE}
2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7745},
pages = {164--183},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36089-3\_10},
doi = {10.1007/978-3-642-36089-3\_10},
timestamp = {Fri, 30 Dec 2022 23:08:55 +0100},
biburl = {https://dblp.org/rec/conf/sle/WidlBBEHKST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/NohrerBE12,
author = {Alexander N{\"{o}}hrer and
Armin Biere and
Alexander Egyed},
editor = {Eduardo Santana de Almeida and
Christa Schwanninger and
David Benavides},
title = {A comparison of strategies for tolerating inconsistencies during decision-making},
booktitle = {16th International Software Product Line Conference, {SPLC} '12, Salvador,
Brazil - September 2-7, 2012, Volume 1},
pages = {11--20},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2362536.2362543},
doi = {10.1145/2362536.2362543},
timestamp = {Wed, 28 Oct 2020 08:39:41 +0100},
biburl = {https://dblp.org/rec/conf/splc/NohrerBE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/NohrerBE12,
author = {Alexander N{\"{o}}hrer and
Armin Biere and
Alexander Egyed},
editor = {Ulrich W. Eisenecker and
Sven Apel and
Stefania Gnesi},
title = {Managing {SAT} inconsistencies with {HUMUS}},
booktitle = {Sixth International Workshop on Variability Modelling of Software-Intensive
Systems, Leipzig, Germany, January 25-27, 2012. Proceedings},
pages = {83--91},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2110147.2110157},
doi = {10.1145/2110147.2110157},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vamos/NohrerBE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2012compare,
editor = {Vladimir Klebanov and
Bernhard Beckert and
Armin Biere and
Geoff Sutcliffe},
title = {Proceedings of the 1st International Workshop on Comparative Empirical
Evaluation of Reasoning Systems, Manchester, United Kingdom, June
30, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {873},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-873},
urn = {urn:nbn:de:0074-873-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/2012compare.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2011difts,
editor = {Malay K. Ganai and
Armin Biere},
title = {Proceedings of the First International Workshop on Design and Implementation
of Formal Tools and Systems, Austin, USA, November 3, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {832},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-832},
urn = {urn:nbn:de:0074-832-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/2011difts.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BiereY11,
author = {Armin Biere and
Karen Yorav},
title = {Preface},
journal = {Formal Methods Syst. Des.},
volume = {39},
number = {2},
pages = {115--116},
year = {2011},
url = {https://doi.org/10.1007/s10703-011-0129-x},
doi = {10.1007/S10703-011-0129-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BiereY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BiereLS11,
author = {Armin Biere and
Florian Lonsing and
Martina Seidl},
editor = {Nikolaj S. Bj{\o}rner and
Viorica Sofronie{-}Stokkermans},
title = {Blocked Clause Elimination for {QBF}},
booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6803},
pages = {101--115},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22438-6\_10},
doi = {10.1007/978-3-642-22438-6\_10},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/BiereLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/Biere11,
author = {Armin Biere},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Preprocessing and Inprocessing Techniques in {SAT}},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {1},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_1},
doi = {10.1007/978-3-642-34188-5\_1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/Biere11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/HeuleKWB11,
author = {Marijn Heule and
Oliver Kullmann and
Siert Wieringa and
Armin Biere},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Cube and Conquer: Guiding {CDCL} {SAT} Solvers by Lookaheads},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {50--65},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_8},
doi = {10.1007/978-3-642-34188-5\_8},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/HeuleKWB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/HeuleJB11,
author = {Marijn Heule and
Matti J{\"{a}}rvisalo and
Armin Biere},
editor = {Karem A. Sakallah and
Laurent Simon},
title = {Efficient {CNF} Simplification Based on Binary Implication Graphs},
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 = {201--215},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21581-0\_17},
doi = {10.1007/978-3-642-21581-0\_17},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/HeuleJB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/LonsingB11,
author = {Florian Lonsing and
Armin Biere},
editor = {Karem A. Sakallah and
Laurent Simon},
title = {Failed Literal Detection for {QBF}},
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 = {259--272},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21581-0\_21},
doi = {10.1007/978-3-642-21581-0\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/LonsingB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/LonsingB10,
author = {Florian Lonsing and
Armin Biere},
title = {DepQBF: {A} Dependency-Aware {QBF} Solver},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {7},
number = {2-3},
pages = {71--76},
year = {2010},
url = {https://doi.org/10.3233/sat190077},
doi = {10.3233/SAT190077},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/LonsingB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HeuleJB10a,
author = {Marijn Heule and
Matti J{\"{a}}rvisalo and
Armin Biere},
editor = {Andrei Voronkov and
Geoff Sutcliffe and
Matthias Baaz and
Christian G. Ferm{\"{u}}ller},
title = {Covered Clause Elimination},
booktitle = {Short papers for 17th International Conference on Logic for Programming,
Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta,
Indonesia, October 10-15, 2010},
series = {EPiC Series in Computing},
volume = {13},
pages = {41--46},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/cl8s},
doi = {10.29007/CL8S},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HeuleJB10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HeuleJB10,
author = {Marijn Heule and
Matti J{\"{a}}rvisalo and
Armin Biere},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Clause Elimination Procedures for {CNF} Formulas},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {357--371},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_26},
doi = {10.1007/978-3-642-16242-8\_26},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HeuleJB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BrummayerLB10,
author = {Robert Brummayer and
Florian Lonsing and
Armin Biere},
editor = {Ofer Strichman and
Stefan Szeider},
title = {Automated Testing and Debugging of {SAT} and {QBF} Solvers},
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 = {44--57},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14186-7\_6},
doi = {10.1007/978-3-642-14186-7\_6},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BrummayerLB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/LonsingB10,
author = {Florian Lonsing and
Armin Biere},
editor = {Ofer Strichman and
Stefan Szeider},
title = {Integrating Dependency Schemes in Search-Based {QBF} Solvers},
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 = {158--171},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14186-7\_14},
doi = {10.1007/978-3-642-14186-7\_14},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/LonsingB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/JarvisaloB10,
author = {Matti J{\"{a}}rvisalo and
Armin Biere},
editor = {Ofer Strichman and
Stefan Szeider},
title = {Reconstructing Solutions after Blocked Clause Elimination},
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 = {340--345},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14186-7\_30},
doi = {10.1007/978-3-642-14186-7\_30},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/JarvisaloB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JarvisaloBH10,
author = {Matti J{\"{a}}rvisalo and
Armin Biere and
Marijn Heule},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Blocked Clause Elimination},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {129--144},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_10},
doi = {10.1007/978-3-642-12002-2\_10},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JarvisaloBH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-5202,
author = {Marijn Heule and
Matti J{\"{a}}rvisalo and
Armin Biere},
title = {Covered Clause Elimination},
journal = {CoRR},
volume = {abs/1011.5202},
year = {2010},
url = {http://arxiv.org/abs/1011.5202},
eprinttype = {arXiv},
eprint = {1011.5202},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-5202.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/BrummayerB09,
author = {Robert Brummayer and
Armin Biere},
title = {Lemmas on Demand for the Extensional Theory of Arrays},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {6},
number = {1-3},
pages = {165--201},
year = {2009},
url = {https://doi.org/10.3233/sat190067},
doi = {10.3233/SAT190067},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/BrummayerB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/BrummayerB09,
author = {Robert Brummayer and
Armin Biere},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Effective Bit-Width and Under-Approximation},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2009, 12th International
Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5717},
pages = {304--311},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04772-5\_40},
doi = {10.1007/978-3-642-04772-5\_40},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/BrummayerB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Biere09,
author = {Armin Biere},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {SAT, {SMT} and Applications},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {1},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_1},
doi = {10.1007/978-3-642-04238-6\_1},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Biere09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/SorenssonB09,
author = {Niklas S{\"{o}}rensson and
Armin Biere},
editor = {Oliver Kullmann},
title = {Minimizing Learned Clauses},
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 = {237--243},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02777-2\_23},
doi = {10.1007/978-3-642-02777-2\_23},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/SorenssonB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/LonsingB09,
author = {Florian Lonsing and
Armin Biere},
editor = {Oliver Kullmann},
title = {A Compact Representation for Syntactic Dependencies in QBFs},
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 = {398--411},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02777-2\_37},
doi = {10.1007/978-3-642-02777-2\_37},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/LonsingB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BrummayerB09,
author = {Robert Brummayer and
Armin Biere},
editor = {Stefan Kowalewski and
Anna Philippou},
title = {Boolector: An Efficient {SMT} Solver for Bit-Vectors and Arrays},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
15th International Conference, {TACAS} 2009, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2009,
York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5505},
pages = {174--177},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00768-2\_16},
doi = {10.1007/978-3-642-00768-2\_16},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BrummayerB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/Biere09,
author = {Armin Biere},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Bounded Model Checking},
booktitle = {Handbook of Satisfiability},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {185},
pages = {457--481},
publisher = {{IOS} Press},
year = {2009},
url = {https://doi.org/10.3233/978-1-58603-929-5-457},
doi = {10.3233/978-1-58603-929-5-457},
timestamp = {Fri, 06 May 2022 08:00:40 +0200},
biburl = {https://dblp.org/rec/series/faia/Biere09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/faia/2009-185,
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Handbook of Satisfiability},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {185},
publisher = {{IOS} Press},
year = {2009},
isbn = {978-1-58603-929-5},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/2009-185.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/Biere08,
author = {Armin Biere},
title = {PicoSAT Essentials},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {4},
number = {2-4},
pages = {75--97},
year = {2008},
url = {https://doi.org/10.3233/sat190039},
doi = {10.3233/SAT190039},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/Biere08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/Biere08,
author = {Armin Biere},
editor = {Katsuhisa Horimoto and
Georg Regensburger and
Markus Rosenkranz and
Hiroshi Yoshida},
title = {Tutorial on Model Checking: Modelling and Verification in Computer
Science},
booktitle = {Algebraic Biology, Third International Conference, {AB} 2008, Castle
of Hagenberg, Austria, July 31-August 2, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5147},
pages = {16--21},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85101-1\_2},
doi = {10.1007/978-3-540-85101-1\_2},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ab/Biere08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BiereB08,
author = {Armin Biere and
Robert Brummayer},
editor = {Alessandro Cimatti and
Robert B. Jones},
title = {Consistency Checking of All Different Constraints over Bit-Vectors
within a {SAT} Solver},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2008, Portland, Oregon,
USA, 17-20 November 2008},
pages = {1--4},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/FMCAD.2008.ECP.32},
doi = {10.1109/FMCAD.2008.ECP.32},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BiereB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Biere08,
author = {Armin Biere},
editor = {Hans Kleine B{\"{u}}ning and
Xishun Zhao},
title = {Adaptive Restart Strategies for Conflict Driven {SAT} Solvers},
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 = {28--33},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79719-7\_4},
doi = {10.1007/978-3-540-79719-7\_4},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/Biere08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/LonsingB08,
author = {Florian Lonsing and
Armin Biere},
editor = {Hans Kleine B{\"{u}}ning and
Xishun Zhao},
title = {Nenofex: Expanding {NNF} for {QBF} Solving},
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 = {196--210},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79719-7\_19},
doi = {10.1007/978-3-540-79719-7\_19},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/LonsingB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LonsingB09,
author = {Florian Lonsing and
Armin Biere},
editor = {Milan Ceska and
Zdenek Kot{\'{a}}sek and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Ludek Matyska and
Tom{\'{a}}s Vojnar},
title = {Efficiently Representing Existential Dependency Sets for Expansion-based
{QBF} Solvers},
booktitle = {Proceedings of the International Doctoral Workshop on Mathematical
and Engineering Methods in Computer Science, {MEMICS} 2008, Znojmo,
Czech Republic, November 14-16, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {251},
pages = {83--95},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.08.029},
doi = {10.1016/J.ENTCS.2009.08.029},
timestamp = {Thu, 09 Mar 2023 14:59:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LonsingB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BrummayerB07,
author = {Robert Brummayer and
Armin Biere},
editor = {Werner Damm and
Holger Hermanns},
title = {{C32SAT:} Checking {C} Expressions},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {294--297},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_33},
doi = {10.1007/978-3-540-73368-3\_33},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/BrummayerB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/ArthoZBSH07,
author = {Cyrille Artho and
Boris Zweim{\"{u}}ller and
Armin Biere and
Etsuya Shibayama and
Shinichi Honiden},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Efficient Model Checking of Applications with Input/Output},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2007, 11th International
Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria,
Spain, February 12-16, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4739},
pages = {515--522},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75867-9\_65},
doi = {10.1007/978-3-540-75867-9\_65},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/ArthoZBSH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/JussilaBSKW07,
author = {Toni Jussila and
Armin Biere and
Carsten Sinz and
Daniel Kr{\"{o}}ning and
Christoph M. Wintersteiger},
editor = {Jo{\~{a}}o Marques{-}Silva and
Karem A. Sakallah},
title = {A First Step Towards a Unified Proof Checker for {QBF}},
booktitle = {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},
pages = {201--214},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72788-0\_21},
doi = {10.1007/978-3-540-72788-0\_21},
timestamp = {Mon, 24 Feb 2020 19:23:27 +0100},
biburl = {https://dblp.org/rec/conf/sat/JussilaBSKW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bmc/2006,
editor = {Ofer Strichman and
Armin Biere},
title = {Proceedings of the Fourth International Workshop on Bounded Model
Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {3},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/174/issue/3},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmc/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/BiereS06,
author = {Armin Biere and
Carsten Sinz},
title = {Decomposing {SAT} Problems into Connected Components},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {2},
number = {1-4},
pages = {201--208},
year = {2006},
url = {https://doi.org/10.3233/sat190022},
doi = {10.3233/SAT190022},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/BiereS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BiereHJLS06,
author = {Armin Biere and
Keijo Heljanko and
Tommi A. Junttila and
Timo Latvala and
Viktor Schuppan},
title = {Linear Encodings of Bounded {LTL} Model Checking},
journal = {Log. Methods Comput. Sci.},
volume = {2},
number = {5},
year = {2006},
url = {https://doi.org/10.2168/LMCS-2(5:5)2006},
doi = {10.2168/LMCS-2(5:5)2006},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BiereHJLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/SinzB06,
author = {Carsten Sinz and
Armin Biere},
editor = {Dima Grigoriev and
John Harrison and
Edward A. Hirsch},
title = {Extended Resolution Proofs for Conjoining BDDs},
booktitle = {Computer Science - Theory and Applications, First International Symposium
on Computer Science in Russia, {CSR} 2006, St. Petersburg, Russia,
June 8-12, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3967},
pages = {600--611},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11753728\_60},
doi = {10.1007/11753728\_60},
timestamp = {Tue, 29 Nov 2022 13:36:56 +0100},
biburl = {https://dblp.org/rec/conf/csr/SinzB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ArthoBH06,
author = {Cyrille Artho and
Armin Biere and
Shinichi Honiden},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Enforcer - Efficient Failure Injection},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {412--427},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_28},
doi = {10.1007/11813040\_28},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/ArthoBH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/ArthoBH06,
author = {Cyrille Artho and
Armin Biere and
Shinichi Honiden},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Exhaustive Testing of Exception Handlers with Enforcer},
booktitle = {Formal Methods for Components and Objects, 5th International Symposium,
{FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4709},
pages = {26--46},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74792-5\_2},
doi = {10.1007/978-3-540-74792-5\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/ArthoBH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ArthoB06,
author = {Cyrille Artho and
Armin Biere},
editor = {Hong Zhu and
Joseph R. Horgan and
Shing{-}Chi Cheung and
J. Jenny Li},
title = {Advanced Unit Testing: How to Scale up a Unit Test Framework},
booktitle = {Proceedings of the 2006 International Workshop on Automation of Software
Test, {AST} 2006, Shanghai, China, May 23, 2006},
pages = {92--98},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1138929.1138947},
doi = {10.1145/1138929.1138947},
timestamp = {Thu, 30 Apr 2020 12:10:35 +0200},
biburl = {https://dblp.org/rec/conf/icse/ArthoB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/JussilaSB06,
author = {Toni Jussila and
Carsten Sinz and
Armin Biere},
editor = {Armin Biere and
Carla P. Gomes},
title = {Extended Resolution Proofs for Symbolic {SAT} Solving with Quantification},
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 = {54--60},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814948\_8},
doi = {10.1007/11814948\_8},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/JussilaSB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StrichmanB07,
author = {Ofer Strichman and
Armin Biere},
editor = {Ofer Strichman and
Armin Biere},
title = {Preface},
booktitle = {Proceedings of the Fourth International Workshop on Bounded Model
Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.12.024},
doi = {10.1016/J.ENTCS.2006.12.024},
timestamp = {Fri, 27 Jan 2023 12:08:58 +0100},
biburl = {https://dblp.org/rec/journals/entcs/StrichmanB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JussilaB07,
author = {Toni Jussila and
Armin Biere},
editor = {Ofer Strichman and
Armin Biere},
title = {Compressing {BMC} Encodings with {QBF}},
booktitle = {Proceedings of the Fourth International Workshop on Bounded Model
Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {3},
pages = {45--56},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.12.022},
doi = {10.1016/J.ENTCS.2006.12.022},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JussilaB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bmc/2005,
editor = {Armin Biere and
Ofer Strichman},
title = {Proceedings of the Third International Workshop on Bounded Model Checking,
BMC@CAV 2005, Edinburgh, UK, July 11, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {1},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/144/issue/1},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmc/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2006,
editor = {Armin Biere and
Carla P. Gomes},
title = {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},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814948},
doi = {10.1007/11814948},
isbn = {3-540-37206-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0611029,
author = {Armin Biere and
Keijo Heljanko and
Tommi A. Junttila and
Timo Latvala and
Viktor Schuppan},
title = {Linear Encodings of Bounded {LTL} Model Checking},
journal = {CoRR},
volume = {abs/cs/0611029},
year = {2006},
url = {http://arxiv.org/abs/cs/0611029},
eprinttype = {arXiv},
eprint = {cs/0611029},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0611029.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BiereS05,
author = {Armin Biere and
Ofer Strichman},
title = {Introductory paper},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {2},
pages = {87--88},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0186-1},
doi = {10.1007/S10009-004-0186-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BiereS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/PrasadBG05,
author = {Mukul R. Prasad and
Armin Biere and
Aarti Gupta},
title = {A survey of recent advances in SAT-based formal verification},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {2},
pages = {156--173},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0183-4},
doi = {10.1007/S10009-004-0183-4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/PrasadBG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/EenB05,
author = {Niklas E{\'{e}}n and
Armin Biere},
editor = {Fahiem Bacchus and
Toby Walsh},
title = {Effective Preprocessing in {SAT} Through Variable and Clause Elimination},
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 = {61--75},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499107\_5},
doi = {10.1007/11499107\_5},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/EenB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/HaroudB05,
author = {Malek Haroud and
Armin Biere},
editor = {Andreas Prinz and
Rick Reed and
Jeanne Reed},
title = {{SDL} Versus {C} Equivalence Checking},
booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad,
Norway, June 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3530},
pages = {323--338},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11506843\_23},
doi = {10.1007/11506843\_23},
timestamp = {Wed, 25 Sep 2019 18:02:25 +0200},
biburl = {https://dblp.org/rec/conf/sdl/HaroudB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SchuppanB05,
author = {Viktor Schuppan and
Armin Biere},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {Shortest Counterexamples for Symbolic Model Checking of {LTL} with
Past},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {493--509},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_32},
doi = {10.1007/978-3-540-31980-1\_32},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SchuppanB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/LatvalaBHJ05,
author = {Timo Latvala and
Armin Biere and
Keijo Heljanko and
Tommi A. Junttila},
editor = {Radhia Cousot},
title = {Simple Is Better: Efficient Bounded Model Checking for Past {LTL}},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {380--395},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_25},
doi = {10.1007/978-3-540-30579-8\_25},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/LatvalaBHJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BiereS06,
author = {Armin Biere and
Ofer Strichman},
editor = {Armin Biere and
Ofer Strichman},
title = {Preface},
booktitle = {Proceedings of the Third International Workshop on Bounded Model Checking,
BMC@CAV 2005, Edinburgh, UK, July 11, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {1},
pages = {1},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.07.015},
doi = {10.1016/J.ENTCS.2005.07.015},
timestamp = {Fri, 16 Dec 2022 10:14:23 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BiereS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArthoB05,
author = {Cyrille Artho and
Armin Biere},
editor = {Agostino Cortesi and
Francesco Logozzo},
title = {Combined Static and Dynamic Analysis},
booktitle = {Proceedings of the First International Workshop on Abstract Interpretation
of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January
21, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {131},
pages = {3--14},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.01.018},
doi = {10.1016/J.ENTCS.2005.01.018},
timestamp = {Tue, 13 Dec 2022 15:04:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArthoB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SchuppanB06,
author = {Viktor Schuppan and
Armin Biere},
editor = {Jir{\'{\i}} Srba and
Scott A. Smolka},
title = {Liveness Checking as Safety Checking for Infinite State Spaces},
booktitle = {Proceedings of the 7th International Workshop on Verification of Infinite-State
Systems, {INFINITY} 2005, San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {149},
number = {1},
pages = {79--96},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.018},
doi = {10.1016/J.ENTCS.2005.11.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SchuppanB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArthoB05a,
author = {Cyrille Artho and
Armin Biere},
editor = {Fausto Spoto},
title = {Subroutine Inlining and Bytecode Abstraction to Simplify Static and
Dynamic Analysis},
booktitle = {Proceedings of the First Workshop on Bytecode Semantics, Verification,
Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April
9, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {1},
pages = {109--128},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.02.034},
doi = {10.1016/J.ENTCS.2005.02.034},
timestamp = {Tue, 13 Dec 2022 11:21:43 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArthoB05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bmc/2004,
editor = {Armin Biere and
Ofer Strichman},
title = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {119},
number = {2},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/119/issue/2},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmc/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SchuppanB04,
author = {Viktor Schuppan and
Armin Biere},
title = {Efficient reduction of finite state model checking to reachability
analysis},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {5},
number = {2-3},
pages = {185--204},
year = {2004},
url = {https://doi.org/10.1007/s10009-003-0121-x},
doi = {10.1007/S10009-003-0121-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/SchuppanB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ArthoHB04,
author = {Cyrille Artho and
Klaus Havelund and
Armin Biere},
editor = {Farn Wang},
title = {Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors},
booktitle = {Automated Technology for Verification and Analysis: Second International
Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
3, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3299},
pages = {150--164},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30476-0\_16},
doi = {10.1007/978-3-540-30476-0\_16},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/ArthoHB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ArthoSBEBZ04,
author = {Cyrille Artho and
Viktor Schuppan and
Armin Biere and
Pascal Eugster and
Marcel Baur and
Boris Zweim{\"{u}}ller},
editor = {Rajeev Alur and
Doron A. Peled},
title = {JNuke: Efficient Dynamic Analysis for Java},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {462--465},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_37},
doi = {10.1007/978-3-540-27813-9\_37},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/ArthoSBEBZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/LatvalaBHJ04,
author = {Timo Latvala and
Armin Biere and
Keijo Heljanko and
Tommi A. Junttila},
editor = {Alan J. Hu and
Andrew K. Martin},
title = {Simple Bounded {LTL} Model Checking},
booktitle = {Formal Methods in Computer-Aided Design, 5th International Conference,
{FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3312},
pages = {186--200},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30494-4\_14},
doi = {10.1007/978-3-540-30494-4\_14},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/LatvalaBHJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Biere04,
author = {Armin Biere},
title = {Resolve and Expand},
booktitle = {{SAT} 2004 - The Seventh International Conference on Theory and Applications
of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada,
Online Proceedings},
year = {2004},
url = {http://www.satisfiability.org/SAT04/programme/93.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/Biere04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Biere04a,
author = {Armin Biere},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Resolve and Expand},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {59--70},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_5},
doi = {10.1007/11527695\_5},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/Biere04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BiereS05,
author = {Armin Biere and
Ofer Strichman},
editor = {Armin Biere and
Ofer Strichman},
title = {Preface},
booktitle = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {119},
number = {2},
pages = {1},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.12.020},
doi = {10.1016/J.ENTCS.2004.12.020},
timestamp = {Tue, 13 Dec 2022 11:43:14 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BiereS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SchuppanBB05,
author = {Viktor Schuppan and
Marcel Baur and
Armin Biere},
editor = {Klaus Havelund and
Grigore Rosu},
title = {{JVM} Independent Replay in Java},
booktitle = {Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS
2004, Barcelona, Spain, April 3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {113},
pages = {85--104},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.01.032},
doi = {10.1016/J.ENTCS.2004.01.032},
timestamp = {Fri, 16 Dec 2022 11:10:11 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SchuppanBB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/BiereCCSZ03,
author = {Armin Biere and
Alessandro Cimatti and
Edmund M. Clarke and
Ofer Strichman and
Yunshan Zhu},
title = {Bounded model checking},
journal = {Adv. Comput.},
volume = {58},
pages = {117--148},
year = {2003},
url = {https://doi.org/10.1016/S0065-2458(03)58003-2},
doi = {10.1016/S0065-2458(03)58003-2},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ac/BiereCCSZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/PlaistedBZ03,
author = {David A. Plaisted and
Armin Biere and
Yunshan Zhu},
title = {A satisfiability procedure for quantified Boolean formulae},
journal = {Discret. Appl. Math.},
volume = {130},
number = {2},
pages = {291--328},
year = {2003},
url = {https://doi.org/10.1016/S0166-218X(02)00409-2},
doi = {10.1016/S0166-218X(02)00409-2},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/PlaistedBZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SchuppanB03,
author = {Viktor Schuppan and
Armin Biere},
title = {Verifying the {IEEE} 1394 FireWire Tree Identify Protocol with {SMV}},
journal = {Formal Aspects Comput.},
volume = {14},
number = {3},
pages = {267--280},
year = {2003},
url = {https://doi.org/10.1007/s001650300005},
doi = {10.1007/S001650300005},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SchuppanB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/ArthoHB03,
author = {Cyrille Artho and
Klaus Havelund and
Armin Biere},
title = {High-level data races},
journal = {Softw. Test. Verification Reliab.},
volume = {13},
number = {4},
pages = {207--227},
year = {2003},
url = {https://doi.org/10.1002/stvr.281},
doi = {10.1002/STVR.281},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/ArthoHB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nddl/ArthoHB03,
author = {Cyrille Artho and
Klaus Havelund and
Armin Biere},
editor = {Pedro T. Isa{\'{\i}}as and
Florence S{\`{e}}des and
Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {High-Level Data Races},
booktitle = {New Technologies for Information Systems, Proceedings of the 3rd International
Workshop on New Developments in Digital Libraries, {NDDL} 2003, and
the 1st International Workshop on Validation and Verification of Software
for Enterprise Information Systems, {VVEIS} 2003, In conjunction with
{ICEIS} 2003, Angers, France, April 2003},
pages = {82--93},
publisher = {{ICEIS} Press},
year = {2003},
timestamp = {Thu, 23 Oct 2014 13:51:12 +0200},
biburl = {https://dblp.org/rec/conf/nddl/ArthoHB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BiereAHS03,
author = {Armin Biere and
Cyrille Artho and
Malek Haroud and
Viktor Schuppan},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Formal Methods Group {ETH} Z{\"{u}}rich},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {289--293},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80828-4},
doi = {10.1016/S1571-0661(04)80828-4},
timestamp = {Tue, 06 Dec 2022 10:12:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BiereAHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StrichmanB03,
author = {Ofer Strichman and
Armin Biere},
editor = {Ofer Strichman and
Armin Biere},
title = {Preface},
booktitle = {First International Workshop on Bounded Model Checking, BMC@CAV 2003,
Boulder, Colorado, USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {4},
pages = {541--542},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82541-1},
doi = {10.1016/S1571-0661(05)82541-1},
timestamp = {Tue, 13 Dec 2022 11:40:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/StrichmanB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bmc/2003,
editor = {Ofer Strichman and
Armin Biere},
title = {First International Workshop on Bounded Model Checking, BMC@CAV 2003,
Boulder, Colorado, USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {4},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/89/issue/4},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmc/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BerezinCBZ02,
author = {Sergey Berezin and
Edmund M. Clarke and
Armin Biere and
Yunshan Zhu},
title = {Verification of Out-Of-Order Processor Designs Using Model Checking
and a Light-Weight Completion Function},
journal = {Formal Methods Syst. Des.},
volume = {20},
number = {2},
pages = {159--186},
year = {2002},
url = {https://doi.org/10.1023/A:1014170513439},
doi = {10.1023/A:1014170513439},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BerezinCBZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/BiereK02,
author = {Armin Biere and
Wolfgang Kunz},
editor = {Lawrence T. Pileggi and
Andreas Kuehlmann},
title = {{SAT} and {ATPG:} Boolean engines for formal hardware verification},
booktitle = {Proceedings of the 2002 {IEEE/ACM} International Conference on Computer-aided
Design, {ICCAD} 2002, San Jose, California, USA, November 10-14, 2002},
pages = {782--785},
publisher = {{ACM} / {IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1145/774572.774687},
doi = {10.1145/774572.774687},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/BiereK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BiereAS02,
author = {Armin Biere and
Cyrille Artho and
Viktor Schuppan},
editor = {Rance Cleaveland and
Hubert Garavel},
title = {Liveness Checking as Safety Checking},
booktitle = {7th International {ERCIM} Workshop in Formal Methods for Industrial
Critical Systems, {FMICS} 2002, {ICALP} 2002 Satellite Workshop, M{\'{a}}laga,
Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {2},
pages = {160--177},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80410-9},
doi = {10.1016/S1571-0661(04)80410-9},
timestamp = {Tue, 06 Dec 2022 10:27:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BiereAS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ClarkeBRZ01,
author = {Edmund M. Clarke and
Armin Biere and
Richard Raimi and
Yunshan Zhu},
title = {Bounded Model Checking Using Satisfiability Solving},
journal = {Formal Methods Syst. Des.},
volume = {19},
number = {1},
pages = {7--34},
year = {2001},
url = {https://doi.org/10.1023/A:1011276507260},
doi = {10.1023/A:1011276507260},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/ClarkeBRZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/ArthoB01,
author = {Cyrille Artho and
Armin Biere},
title = {Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs},
booktitle = {13th Australian Software Engineering Conference {(ASWEC} 2001), 26-28
August 2001, Canberra, Australia},
pages = {68--75},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASWEC.2001.948499},
doi = {10.1109/ASWEC.2001.948499},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/ArthoB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/WilliamsBCG00,
author = {Poul Frederick Williams and
Armin Biere and
Edmund M. Clarke and
Anubhav Gupta},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {Combining Decision Diagrams and {SAT} Procedures for Efficient Symbolic
Model Checking},
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 = {124--138},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_13},
doi = {10.1007/10722167\_13},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/WilliamsBCG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BiereCZ99,
author = {Armin Biere and
Edmund M. Clarke and
Yunshan Zhu},
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen},
title = {Multiple State and Single State Tableaux for Combining Local and Global
Model Checking},
booktitle = {Correct System Design, Recent Insight and Advances, (to Hans Langmaack
on the occasion of his retirement from his professorship at the University
of Kiel)},
series = {Lecture Notes in Computer Science},
volume = {1710},
pages = {163--179},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48092-7\_8},
doi = {10.1007/3-540-48092-7\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BiereCZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BiereCRZ99,
author = {Armin Biere and
Edmund M. Clarke and
Richard Raimi and
Yunshan Zhu},
editor = {Nicolas Halbwachs and
Doron A. Peled},
title = {Verifiying Safety Properties of a Power {PC} Microprocessor Using
Symbolic Model Checking without BDDs},
booktitle = {Computer Aided Verification, 11th International Conference, {CAV}
'99, Trento, Italy, July 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1633},
pages = {60--71},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48683-6\_8},
doi = {10.1007/3-540-48683-6\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BiereCRZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BiereCCFZ99,
author = {Armin Biere and
Alessandro Cimatti and
Edmund M. Clarke and
Masahiro Fujita and
Yunshan Zhu},
editor = {Mary Jane Irwin},
title = {Symbolic Model Checking Using {SAT} Procedures instead of BDDs},
booktitle = {Proceedings of the 36th Conference on Design Automation, New Orleans,
LA, USA, June 21-25, 1999},
pages = {317--320},
publisher = {{ACM} Press},
year = {1999},
url = {https://doi.org/10.1145/309847.309942},
doi = {10.1145/309847.309942},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/BiereCCFZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BiereCCZ99,
author = {Armin Biere and
Alessandro Cimatti and
Edmund M. Clarke and
Yunshan Zhu},
editor = {Rance Cleaveland},
title = {Symbolic Model Checking without BDDs},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 5th
International Conference, {TACAS} '99, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'99,
Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1579},
pages = {193--207},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49059-0\_14},
doi = {10.1007/3-540-49059-0\_14},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BiereCCZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BiereCZ99,
author = {Armin Biere and
Edmund M. Clarke and
Yunshan Zhu},
editor = {Alessandro Cimatti and
Orna Grumberg},
title = {Combining Local and Global Model Checking},
booktitle = {First International Workshop on Symbolic Model Checking, {SMC} 1999,
associated to FLoC'99, the 1999 Federated Logic Conference, Trento,
Italy, July 6, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {23},
number = {2},
pages = {34--45},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(04)80667-4},
doi = {10.1016/S1571-0661(04)80667-4},
timestamp = {Tue, 22 Nov 2022 15:04:29 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BiereCZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/YangBOBCJRS98,
author = {Bwolen Yang and
Randal E. Bryant and
David R. O'Hallaron and
Armin Biere and
Olivier Coudert and
Geert Janssen and
Rajeev K. Ranjan and
Fabio Somenzi},
editor = {Ganesh Gopalakrishnan and
Phillip J. Windley},
title = {A Performance Study of BDD-Based Model Checking},
booktitle = {Formal Methods in Computer-Aided Design, Second International Conference,
{FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1522},
pages = {255--289},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49519-3\_18},
doi = {10.1007/3-540-49519-3\_18},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/YangBOBCJRS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BerezinBCZ98,
author = {Sergey Berezin and
Armin Biere and
Edmund M. Clarke and
Yunshan Zhu},
editor = {Ganesh Gopalakrishnan and
Phillip J. Windley},
title = {Combining Symbolic Model Checking with Uninterpreted Functions for
Out-of-Order Processor Verification},
booktitle = {Formal Methods in Computer-Aided Design, Second International Conference,
{FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1522},
pages = {369--386},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49519-3\_24},
doi = {10.1007/3-540-49519-3\_24},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BerezinBCZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0091613,
author = {Armin Biere},
title = {Effiziente Modellpr{\"{u}}fung des {\(\mathrm{\mu}\)}-Kalk{\"{u}}ls
mit bin{\"{a}}ren Entscheidungsdiagrammen},
school = {Universit{\"{a}}t Karlsruhe},
year = {1997},
url = {https://d-nb.info/951671367},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0091613.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Biere97,
author = {Armin Biere},
editor = {Orna Grumberg},
title = {{\(\mathrm{\mu}\)}cke - Efficient {\(\mathrm{\mu}\)}-Calculus Model
Checking},
booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
Haifa, Israel, June 22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1254},
pages = {468--471},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_50},
doi = {10.1007/3-540-63166-6\_50},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Biere97.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-03 20:24 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:
