Author Information
Author:Armin Biere

Publications

AuthorsTitleVolumePDF
Marijn Heule, Matti Järvisalo and Armin BiereCovered Clause EliminationAndrei Voronkov, Geoff Sutcliffe, Matthias Baaz and Christian Fermüller (editors). LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning. (EPiC Series in Computing, Volume 13)
Armin BierePractical Aspects of SAT SolvingPascal Fontaine and Amit Goel (editors). SMT 2012. 10th International Workshop on Satisfiability Modulo Theories (EPiC Series in Computing, Volume 20)
Gergely Kovásznai, Andreas Fröhlich and Armin BiereOn the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-WidthPascal Fontaine and Amit Goel (editors). SMT 2012. 10th International Workshop on Satisfiability Modulo Theories (EPiC Series in Computing, Volume 20)
Armin BierePractical Aspects of SAT SolvingPascal Fontaine, Renate A. Schmidt and Stephan Schulz (editors). PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning (EPiC Series in Computing, Volume 21)
Martina Seidl, Florian Lonsing and Armin Biereqbf2epr: A Tool for Generating EPR Formulas from QBFPascal Fontaine, Renate A. Schmidt and Stephan Schulz (editors). PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning (EPiC Series in Computing, Volume 21)
Martin Aigner, Armin Biere, Christoph Kirsch, Aina Niemetz and Mathias PreinerAnalysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core ArchitecturesDaniel Le Berre (editor). POS-13. Pragmatics of SAT 2013 (EPiC Series in Computing, Volume 29)
Armin BiereLingeling Essentials, A Tutorial on Design and Implementation Aspects of the the SAT Solver LingelingDaniel Le Berre (editor). POS-14. Fifth Pragmatics of SAT workshop (EPiC Series in Computing, Volume 27)
Andreas Fröhlich, Gergely Kovásznai, Armin Biere and Helmut VeithiDQ: Instantiation-Based DQBF SolvingDaniel Le Berre (editor). POS-14. Fifth Pragmatics of SAT workshop (EPiC Series in Computing, Volume 27)
Armin Biere, Ioan Dragan, Laura Kovács and Andrei VoronkovSAT solving experiments in VampireLaura Kovács and Andrei Voronkov (editors). Proceedings of the 1st and 2nd Vampire Workshops (EPiC Series in Computing, Volume 38)
Marijn Heule and Armin BiereClausal Proof CompressionBoris Konev, Stephan Schulz and Laurent Simon (editors). IWIL-2015. 11th International Workshop on the Implementation of Logics (EPiC Series in Computing, Volume 40)
Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits and Armin BiereBlocked Clauses in First-Order LogicThomas Eiter and David Sands (editors). LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (EPiC Series in Computing, Volume 46)

Keyphrases

CountKeyphrase
3sat
2automated reasoning, automated theorem proving, clause elimination, epr, qbf, sat solving, satisfiability
1avatar, bit precise reasoning, bit vector logics, blocked clauses, cdcl, complexity, compression, decision procedure, dqbf, dqdimacs, effectively propositional logic, encoding, first order logic, instantiation, multi core sat solving, nexptime, parallel sat solving, preprocessing, proof, propositional reasoning, quantified boolean formulas, sat preprocessing, satisfiability checking, simplification, smt, vampire