Chair of Computer Architecture

University of Freiburg

[ 2022 | 2021 ]


[ Armin Biere | Tobias Faller | Mathias Fleury | Tobias Paxian | Peter Winterer ]

Publication lists of other team members are available from their team home-pages.


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, 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 ]


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.