Armin Biere
ORCIDPublication Activity (10 Years)
Years Active: 1997-2023
Publications (10 Years): 99
Publications (10 Years): 99
Universität Karlsruhe (PHD)
Education History
Universität Karlsruhe
Publications
- Nils Froleyks, Emily Yu, Armin Biere
- Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko
- Armin Biere, Nils Froleyks, Wenxi Wang
- Florian Pollitt, Mathias Fleury, Armin Biere
- Armin Biere, Mathias Fleury, Nils Froleyks, Marijn J. H. HeuleThe SAT Museum. POS@SAT (2023)
- Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere
- Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko
- Jakob Rath, Armin Biere, Laura Kovács
- Mathias Fleury, Armin Biere
- Randal E. Bryant, Armin Biere, Marijn J. H. Heule
- Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko
- Armin Biere, Md. Solimul Chowdhury, Marijn J. H. Heule, Benjamin Kiesl, Michael W. Whalen
- Muhammad Osama, Anton Wijs, Armin Biere
- Mathias Fleury, Armin Biere
- Emily Yu, Armin Biere, Keijo Heljanko
- Sibylle Möhle, Roberto Sebastiani, Armin Biere
- Lee A. Barnett, Armin Biere
- Daniela Kaufmann, Armin Biere
- Daniela Kaufmann, Armin Biere
- Armin Biere, Cesare Tinelli, Christoph Weidenbach
- Marijn J. H. Heule, Benjamin Kiesl, Armin Biere
- Maximilian Heisinger, Mathias Fleury, Armin Biere
- Sibylle Möhle, Roberto Sebastiani, Armin Biere
- Armin Biere
- Daniela Kaufmann, Armin Biere, Manuel Kauers
- Lee A. Barnett, David M. Cerna, Armin Biere
- Ankit Shukla, Armin Biere, Luca Pulina, Martina Seidl
- Zhengqi Yu, Armin Biere, Keijo Heljanko
- Daniela Ritirc, Armin Biere, Manuel Kauers
- Benjamin Kiesl, Marijn J. H. Heule, Armin Biere
- Marijn J. H. Heule, Benjamin Kiesl, Armin Biere
- Sibylle Möhle, Armin Biere
- Katalin Fazekas, Armin Biere, Christoph Scholl
- Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere
- Adrián Rebola-Pardo, Armin Biere
- Armin Biere, Andreas Fröhlich
- Sibylle Möhle, Armin Biere
- Marijn J. H. Heule, Armin Biere
- Tom van Dijk, Rüdiger Ehlers, Armin Biere
- Aina Niemetz, Mathias Preiner, Clifford Wolf, Armin Biere
- Armin Biere, Marijn Heule
- Marijn J. H. Heule, Benjamin Kiesl, Armin Biere
- Mathias Preiner, Aina Niemetz, Armin Biere
- Aina Niemetz, Mathias Preiner, Armin Biere
- Armin Biere, Steffen Hölldobler, Sibylle Möhle
- Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits, Armin Biere
- Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits, Armin Biere
- Marijn J. H. Heule, Martina Seidl, Armin Biere
- Aina Niemetz, Mathias Preiner, Armin Biere
- Armin Biere, Tom van Dijk, Keijo Heljanko
- Gergely Kovásznai, Andreas Fröhlich, Armin Biere
- Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere
- Katalin Fazekas, Martina Seidl, Armin Biere
- Tomás Balyo, Armin Biere, Markus Iser, Carsten Sinz
- Marijn Heule, Armin Biere
- Armin Biere, Vijay Ganesh, Martin Grohe, Jakob Nordström, Ryan Williams
- Marijn Heule, Martina Seidl, Armin Biere
- Marijn J. H. Heule, Armin Biere
- Mathias Preiner, Aina Niemetz, Armin Biere
- Armin Biere, Andreas Fröhlich
- Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl, Armin Biere