Armin Biere

Armin Biere is a researcher affiliated with the University of Freiburg in Germany, specializing primarily in computer science. Their work spans across various subfields including artificial intelligence, computational theory and mathematics, software, electrical and electronic engineering, and computer networks and communications.

The main research topics addressed by Armin Biere include:

• Formal Methods in Verification
• Logic, programming, and type systems
• Logic, Reasoning, and Knowledge
• Software Testing and Debugging Techniques
• Model-Driven Software Engineering Techniques
• Constraint Satisfaction and Optimization
• Radiation Effects in Electronics

Their publication record features numerous papers, with notable recent works such as:

• Lingeling, Plingeling, PicoSAT and PrecoSAT at SAT Race 2010 (2021), published in University Library Linz repository (Johannes Kepler Universitat Linz)
• The AIGER And-Inverter Graph (AIG) Format Version 20071012 (2021), published in University Library Linz repository (Johannes Kepler Universitat Linz)
• AIGER 1.9 and beyond (2021), published in University Library Linz repository (Johannes Kepler Universitat Linz)
• Lingeling and Friends at the SAT Competition 2011 (2021), published in University Library Linz repository (Johannes Kepler Universitat Linz)
• Better Decision Heuristics in CDCL through Local Search and Target Phases (2022), published in Journal of Artificial Intelligence Research

In addition to journal and conference articles, Armin Biere has contributed to book publications. Two books were published by Springer Science+Business Media titled Tools and Algorithms for the Construction and Analysis of Systems in 2020.

Frequent co-authors collaborating with Armin Biere include:

• Mathias Fleury
• Nils Froleyks
• Daniela Kaufmann
• Roberto Sebastiani
• Keijo Heljanko

Publications by Armin Biere are often found in venues such as:

• University Library Linz repository (Johannes Kepler Universitat Linz)
• arXiv (Cornell University)
• Zenodo (CERN European Organization for Nuclear Research)
• Formal Methods in System Design
• Journal of Artificial Intelligence Research

Their work largely involves areas related to formal verification methods, software testing, logic, and constraint optimization, reflecting considerable breadth in theoretical and applied aspects of computer science.