Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX 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} }
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.