Publications
[ Armin Biere | Tobias Faller | Mathias Fleury | Tobias Paxian | Peter Winterer ]
Publication lists of other team members are available from their team home-pages.
2023
Daniela Kaufmann
and
Armin Biere.
Improving Amulet2 for Verifying Multiplier Circuits using SAT Solving and Computer Algebra
In
International Journal on Software Tools for Technology Transfer
vol. 25,
pages 133-144,
Springer 2023.
[ paper
| doi
| bibtex ]
Mathias Fleury, Armin Biere.
Mining Definitions in Kissat with Kittens.
To be published in
Formal Methods in System Design,
Springer.
[
paper |
data
]
Florian Politt,
Mathias Fleury, and Armin Biere.
Efficient Proof Checking with LRAT in CaDiCaL (Work in Progress)
presented at
MBMV'23.
[
paper |
bibtex
]
Emily Yu, Nils Froleyks, Armin Biere and Keijo Heljanko.
Stratified Certification for k-Induction (Extended Abstract)
presented at
MBMV'23.
[
paper |
bibtex |
certifaiger
]
2022
Emily Yu, Nils Froleyks, Armin Biere and Keijo Heljanko.
Stratified Certification for k-Induction
In Proc. 22nd Intl. Conf. on Formal Methods in Computer-Aided Design (FMCAD'22),
pages 59-64,
vol. 3,
TU Vienna Academic Press
2022.
[
paper |
bibtex |
certifaiger
]
Shaowei Cai, Xindi Zhang, Mathias Fleury and Armin Biere.
Better Decision Heuristics in CDCL through Local
Search and Target Phases.
Journal of Artificial Intelligence Research (JAIR).
vol. 74,
pages 1515-1563,
2022.
[ paper
| doi
| bibtex
| code
| data
]
Armin Biere and Mathias Fleury.
Gimsatul, IsaSAT and Kissat entering the SAT Competition 2022.
In Proc. of SAT Competition 2022 - Solver and Benchmark Descriptions,
Tomas Balyo, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda (editors),
vol. B-2022-1 of Department of Computer Science Report Series B,
pages 10-11,
University of Helsinki, 2022.
[ paper
| bibtex
]
Emily Yu,
Nils Froleyks,
Armin Biere and
Mathias Fleury.
Hardware Model Checking Certificates.
In Proc. of SAT Competition 2022 - Solver and Benchmark Descriptions,
Tomas Balyo, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda (editors),
vol. B-2022-1 of Department of Computer Science Report Series B,
page 46,
University of Helsinki, 2022.
[ paper
| bibtex
]
Armin Biere,
Md Solimul Chowdhury,
Marijn J. H. Heule,
Benjamin Kiesl
and Michael W. Whalen.
Migrating Solver State.
In Proc. 25th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'22),
LIPics 2022.
[ preprint
| doi
| bibtex
| migrating CaDiCaL source code
]
Daniela Kaufmann and Armin Biere.
Fuzzing and Delta Debugging And-Inverter Graph Verification Tools,
In Proc. 16th Intl. Conf. on Tests and Proofs (TAP'22),
Lecture Notes in Computer Science,
vol. 13361,
pages 69-88,
Springer 2022.
[ preprint
| bibtex
| artifact
| amulet
]
Randal E. Bryant and Armin Biere and Marijn J. H. Heule.
Clausal Proofs for Pseudo-Boolean Reasoning.
In Proc. 28th Intl. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
vol. 13243,
pages 443-461,
Lecture Notes in Computer Science,
Springer 2022.
[ paper
| bibtex
| github
| zenodo
]
Daniela Kaufmann, Paul Beame, Armin Biere, Jakob Nordström.
Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification.
In Proc. Design, Automation and Test in Europe (DATE'22),
IEEE 2022.
[ paper
| bibtex
| experiments
]
2021
Nils Froleyks and Armin Biere.
Single Clause Assumption without Activation Literals to Speed-up IC3.
In Proc. 21st Intl. Conf. on Formal Methods in Computer-Aided Design (FMCAD'21),
pages 72-76,
vol. 2,
TU Vienna Academic Press
2021.
[
paper |
bibtex |
experiments |
cadical
]
Publications before 2022 are listed on the IRA Publication web-page.