Armin Biere
发表
Armin Biere,
Edmund M. Clarke,
Alessandro Cimatti,
1999,
TACAS.
E. Clarke,
A. Cimatti,
Armin Biere,
1999,
Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361).
Olivier Coudert,
David R. O'Hallaron,
Randal E. Bryant,
1998,
FMCAD.
Armin Biere,
2017
.
Armin Biere,
Robert Brummayer,
2008,
SMT '08/BPR '08.
Armin Biere,
Cyrille Artho,
Eun-Hye Choi,
2016,
2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Armin Biere,
2014
.
Christoph M. Kirsch,
Armin Biere,
Aina Niemetz,
2013,
POS@SAT.
Armin Biere,
Oliver Kullmann,
Marijn J. H. Heule,
2011,
Haifa Verification Conference.
Armin Biere,
2010
.
Armin Biere,
David A. Plaisted,
Yunshan Zhu,
2003,
Discret. Appl. Math..
Armin Biere,
Niklas Eén,
N. Eén,
2005,
SAT.
Armin Biere,
Edmund M. Clarke,
Richard Raimi,
2001,
Formal Methods Syst. Des..
E. Clarke,
R. Raimi,
Armin Biere,
1999
.
Armin Biere,
Aina Niemetz,
Mathias Preiner,
2015
.
Armin Biere,
Aina Niemetz,
Mathias Preiner,
2017,
SMT.
Toby Walsh,
Armin Biere,
Marijn J. H. Heule,
2009
.
Armin Biere,
2011
.
Armin Biere,
2011
.
Armin Biere,
Xuandong Li,
O. Strichman,
2006
.
E. Clarke,
Armin Biere,
Anubhav Gupta,
2000
.
Armin Biere,
2012
.
Armin Biere,
2012
.
Armin Biere,
Viktor Schuppan,
2005
.
Armin Biere,
2009,
Handbook of Satisfiability.
Armin Biere,
Aina Niemetz,
J. Kepler,
2017
.
Armin Biere,
Robert Brummayer,
Armin Biere,
2006
.
Armin Biere,
Aina Niemetz,
Mathias Preiner,
2015
.
Armin Biere,
Florian Lonsing,
Armin Biere,
2010
.
Armin Biere,
M. Fleury,
2020
.
Armin Biere,
Armin Biere,
2019
.
C A D I C A L, K ISSAT , P ARACOOBA , P LINGELING and T REENGELING Entering the SAT Competition 2020
Armin Biere,
Mathias Fleury,
Katalin Fazekas,
2020
.
Armin Biere,
2009
.
Armin Biere,
2006
.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2010,
LPAR short papers.
Marijn J. H. Heule,
Armin Biere,
Matti Järvisalo,
2010
.
Armin Biere,
Adrian Rebola-Pardo,
2019
.
S. Buss,
Albert Atserias,
Jakob Nordström,
2015
.
Armin Biere,
2007
.
E. Clarke,
Armin Biere,
O. Strichman,
2003
.
Marijn J. H. Heule,
Armin Biere,
2014
.
Armin Biere,
Andreas Fröhlich,
Gergely Kovásznai,
2013
.
Daniel Kroening,
Alan J. Hu,
Koen Claessen,
2009
.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2021,
SAT.
Marijn J. H. Heule,
Armin Biere,
M. Whalen,
2022,
SAT.
Marijn J. H. Heule,
Armin Biere,
R. Bryant,
2022,
TACAS.
Armin Biere,
Gergely Kov,
2012
.
Armin Biere,
Daniela Kaufmann,
2022,
TAP@STAF.
Armin Biere,
Keijo Heljanko,
Emily Yu,
2022,
2022 Formal Methods in Computer-Aided Design (FMCAD).
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2015,
LPAR.
Armin Biere,
Shaowei Cai,
M. Fleury,
2022,
J. Artif. Intell. Res..
Hans Tompits,
Armin Biere,
Martina Seidl,
2017,
IJCAI.
Armin Biere,
Aarti Gupta,
Mukul R. Prasad,
2005,
International Journal on Software Tools for Technology Transfer.
Bernhard Beckert,
Vladimir Klebanov,
Armin Biere,
2012
.
Ricardo Imbert,
Armin Biere,
Gergely Kov,
2012
.
Armin Biere,
Oliver Kullmann,
Marijn J. H. Heule,
2018,
Handbook of Parallel Constraint Reasoning.
Wolfgang Kunz,
Armin Biere,
Armin Biere,
2002,
IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002..
Armin Biere,
Cunjing Ge,
Armin Biere,
2021,
IJCAI.
Toby Walsh,
Armin Biere,
Marijn J. H. Heule,
2009
.
Armin Biere,
T. Walsh,
H. Maaren,
2007
.
Armin Biere,
Niklas Sörensson,
Armin Biere,
2009,
SAT.
Markus Sinnl,
Sophie N. Parragh,
Armin Biere,
2020,
CPAIOR.
Armin Biere,
Carsten Sinz,
Markus Iser,
2016,
Artif. Intell..
Martina Seidl,
Wolfgang Windsteiger,
Wolfgang Schreiner,
2020,
CSEDU.
Daniel Kroening,
Armin Biere,
Armin Biere,
2018,
Handbook of Model Checking.
Viktor Schuppan,
Armin Biere,
Armin Biere,
2006,
INFINITY.
Gerti Kappel,
Hans Tompits,
Petra Kaufmann,
2012,
SLE.
Armin Biere,
Armin Biere,
2008,
AB.
Armin Biere,
Florian Lonsing,
Robert Brummayer,
2008,
SMT '08/BPR '08.
Viktor Schuppan,
Armin Biere,
Timo Latvala,
2006,
Log. Methods Comput. Sci..
Armin Biere,
Armin Biere,
2004,
SAT.
Armin Biere,
Armin Biere,
2003,
Adv. Comput..
Viktor Schuppan,
Armin Biere,
Armin Biere,
2004,
International Journal on Software Tools for Technology Transfer.
Viktor Schuppan,
Armin Biere,
Armin Biere,
2003,
Formal Aspects of Computing.
Armin Biere,
Edmund M. Clarke,
Yunshan Zhu,
2002,
Formal Methods Syst. Des..
Armin Biere,
Armin Biere,
2001,
ASICON 2001. 2001 4th International Conference on ASIC Proceedings (Cat. No.01TH8549).
Armin Biere,
Edmund M. Clarke,
Anubhav Gupta,
2000,
CAV.
Armin Biere,
Edmund M. Clarke,
Yunshan Zhu,
2001,
SMC@FLoC.
Armin Biere,
Edmund M. Clarke,
Yunshan Zhu,
1999,
Correct System Design.
Armin Biere,
Edmund M. Clarke,
Yunshan Zhu,
1998,
FMCAD.
Armin Biere,
Armin Biere,
1997,
CAV.
E. Clarke,
Armin Biere,
Yunshan Zhu,
2022
.
Martina Seidl,
Wolfgang Windsteiger,
Wolfgang Schreiner,
2020,
ITiCSE.
Armin Biere,
Roderick Bloem,
Armin Biere,
2014,
Lecture Notes in Computer Science.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2010,
TACAS.
Armin Biere,
Cyrille Artho,
Armin Biere,
2005,
Bytecode@ETAPS.
Armin Biere,
Robert Brummayer,
Armin Biere,
2009,
TACAS.
Viktor Schuppan,
Armin Biere,
Armin Biere,
2005,
TACAS.
Armin Biere,
Timo Latvala,
Keijo Heljanko,
2004,
FMCAD.
David Parker,
Armin Biere,
Wen Gao,
2020,
TACAS.
Armin Biere,
Daniela Kaufmann,
2023,
International Journal on Software Tools for Technology Transfer.
Armin Biere,
Aina Niemetz,
Mathias Preiner,
2015,
J. Satisf. Boolean Model. Comput..
Armin Biere,
Florian Lonsing,
Armin Biere,
2010,
SAT.
Armin Biere,
Cyrille Artho,
Armin Biere,
2005,
AIOOL@VMCAI.
Armin Biere,
Manuel Kauers,
Daniela Ritirc,
2018,
SC-Square@FLOC.
Armin Biere,
L. Kovács,
Jakob Rath,
2022,
2022 Formal Methods in Computer-Aided Design (FMCAD).
Armin Biere,
Aina Niemetz,
Mathias Preiner,
2017,
TACAS.
Armin Biere,
Cyrille Artho,
Eun-Hye Choi,
2015,
2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST).
Armin Biere,
M. Fleury,
2022,
ArXiv.
Marijn J. H. Heule,
Armin Biere,
T. Walsh,
2009
.
Armin Biere,
Florian Lonsing,
Martina Seidl,
2013,
PAAR@IJCAR.
Armin Biere,
Robert Brummayer,
Armin Biere,
2009,
SMT '09.
Armin Biere,
Cyrille Artho,
Martina Seidl,
2013,
TAP@STAF.
Martina Seidl,
Armin Biere,
Luca Pulina,
2019,
2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI).
Armin Biere,
Martina Seidl,
Alexandra Goultiaeva,
2013,
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Armin Biere,
Aina Niemetz,
Mathias Preiner,
2018,
CAV.
Armin Biere,
Tom van Dijk,
Keijo Heljanko,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
Armin Biere,
Andreas Fröhlich,
Armin Biere,
2015,
SAT.
Armin Biere,
M. Fleury,
Maximilian Heisinger,
2021
.
Armin Biere,
Armin Biere,
2008,
J. Satisf. Boolean Model. Comput..
Armin Biere,
Florian Lonsing,
Armin Biere,
2010,
J. Satisf. Boolean Model. Comput..
Armin Biere,
Anton Wijs,
Muhammad Osama,
2021,
TACAS.
Armin Biere,
M. Seidl,
H. Tompits,
2017,
LPAR.
Armin Biere,
Fahiem Bacchus,
Katalin Fazekas,
2018,
IJCAR.
Viktor Schuppan,
Armin Biere,
Cyrille Artho,
2002,
FMICS.
Armin Biere,
Marijn J. H. Heule,
Armin Biere,
2019,
POS@SAT.
P. Beame,
Armin Biere,
Daniela Kaufmann,
2022,
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Armin Biere,
Andreas Fröhlich,
Gergely Kovásznai,
2016,
Theory of Computing Systems.
Armin Biere,
Aina Niemetz,
Mathias Preiner,
2011
.
Armin Biere,
Robert Brummayer,
Armin Biere,
2009,
EUROCAST.
Armin Biere,
David Parker,
1998,
Lecture Notes in Computer Science.
Armin Biere,
Aina Niemetz,
Mathias Preiner,
2023,
SAT.
Armin Biere,
Cyrille Artho,
Klaus Havelund,
2003,
Softw. Test. Verification Reliab..
Armin Biere,
Daniel Le Berre,
Emmanuel Lonca,
2014,
SAT.
C. Gomes,
Armin Biere,
2006,
SAT.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2012,
IJCAR.
Marijn J. H. Heule,
Armin Biere,
Matti Järvisalo,
2011,
Journal of Automated Reasoning.
Armin Biere,
Florian Lonsing,
Martina Seidl,
2015,
J. Artif. Intell. Res..
Armin Biere,
Mathias Fleury,
Maximilian Heisinger,
2020,
SAT.
Armin Biere,
Manuel Kauers,
Daniela Kaufmann,
2019
.
Armin Biere,
Carsten Sinz,
Armin Biere,
2006,
J. Satisf. Boolean Model. Comput..
Armin Biere,
Toni Jussila,
Armin Biere,
2007,
BMC@FLoC.
Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs
Armin Biere,
Edmund M. Clarke,
Richard Raimi,
1999,
CAV.
Armin Biere,
M. Fleury,
Daniela Kaufmann,
2022,
Formal Methods in System Design.
Armin Biere,
Daniela Kaufmann,
Armin Biere,
2021,
TACAS.
Manuel Kauers,
Armin Biere,
Daniela Kaufmann,
2019,
2019 Formal Methods in Computer Aided Design (FMCAD).
Armin Biere,
Florian Lonsing,
Robert Brummayer,
2010,
SAT.
Armin Biere,
David Parker,
2022,
International Journal on Software Tools for Technology Transfer.
Sibylle Möhle,
Armin Biere,
Armin Biere,
2019,
GCAI.
Armin Biere,
Matti Järvisalo,
Benjamin Kiesl,
2021,
Handbook of Satisfiability.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2012,
Haifa Verification Conference.
Armin Biere,
Carsten Sinz,
Toni Jussila,
2006,
SAT.
Armin Biere,
Carsten Sinz,
Armin Biere,
2006,
CSR.
Armin Biere,
Lee A. Barnett,
L. A. Barnett,
2021,
CADE.
Armin Biere,
Armin Biere,
2016
.
Armin Biere,
Aina Niemetz,
Mathias Preiner,
2012,
SAT.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2018,
TACAS.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2017,
CADE.
Hans Tompits,
Armin Biere,
Martina Seidl,
2017,
Log. Methods Comput. Sci..
Marijn J. H. Heule,
Armin Biere,
M. Järvisalo,
2010,
TACAS.
Armin Biere,
Daniela Kaufmann,
Mathias Fleury,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2019,
TACAS.
Armin Biere,
Martina Seidl,
Marijn J. H. Heule,
2017,
Haifa Verification Conference.
Armin Biere,
Cyrille Artho,
Armin Biere,
2001,
Proceedings 2001 Australian Software Engineering Conference.
E. Clarke,
Armin Biere,
Anubhav Gupta,
2000,
International Conference on Computer Aided Verification.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2013,
CPAIOR.
Armin Biere,
Martina Seidl,
Marijn J. H. Heule,
2017,
TAP@STAF.
Armin Biere,
Martina Seidl,
Katalin Fazekas,
2016,
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Armin Biere,
Martina Seidl,
Marijn J. H. Heule,
2014,
2014 Formal Methods in Computer-Aided Design (FMCAD).
Daniel Kroening,
Armin Biere,
Georg Weissenbacher,
2008
.
R. Sebastiani,
Armin Biere,
Giuseppe Spallitta,
2023,
AAAI.
Armin Biere,
Roberto Sebastiani,
Sibylle Mohle,
2021,
ArXiv.
Roberto Sebastiani,
Sibylle Möhle,
Armin Biere,
2020,
SAT.
Armin Biere,
Mathias Fleury,
Armin Biere,
2021,
SAT.
Armin Biere,
Sibylle Möhle,
Armin Biere,
2019,
SAT.
Marius Zimand,
Armin Biere,
Marius Zimand,
2007,
Theory of Computing Systems.
Armin Biere,
Daniela Kaufmann,
Armin Biere,
2020,
CASC.
Manuel Kauers,
Armin Biere,
Daniela Kaufmann,
2020,
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Armin Biere,
Manuel Kauers,
Daniela Kaufmann,
2019,
Formal Methods in System Design.
Armin Biere,
Aina Niemetz,
Mathias Preiner,
2018,
CAV.
Armin Biere,
Manuel Kauers,
Daniela Ritirc,
2018,
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Armin Biere,
Manuel Kauers,
Daniela Ritirc,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
Armin Biere,
Manuel Kauers,
Daniela Ritirc,
2017,
2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Armin Biere,
Daniela Ritirc,
Manuel Kauers,
2020
.
Armin Biere,
Armin Biere,
2016
.