Armin Biere
Orcid: 0000-0001-7170-9242Affiliations:
- Universität Freiburg, Germany
- Johannes Kepler University of Linz, Austria (former)
According to our database1,
Armin Biere
authored at least 248 papers
between 1997 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on isni.org
On csauthors.net:
Bibliography
2025
2024
Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker.
Formal Methods Syst. Des., December, 2024
Formal Methods Syst. Des., June, 2024
CNF Encoded Isomorphic and Optimized Miters from Hardware Model Checking Competition 2020 Models.
Dataset, May, 2024
CNF Encoded Isomorphic and Optimized Miters from Hardware Model Checking Competition 2012 Models.
Dataset, March, 2024
Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024
Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024
Improved Bounds of Integer Solution Counts via Volume and Extending to Mixed-Integer Linear Constraints.
Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Dataset, June, 2023
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra.
Int. J. Softw. Tools Technol. Transf., April, 2023
Sampled and Normalized Satisfiable Instances from the main track of the SAT Competition 2004 to 2022.
Dataset, March, 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023
Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging.
Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), 2023
Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023
Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023
Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), 2023
Proceedings of the Formal Methods in Computer-Aided Design, 2023
2022
Artifact for Paper ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving.
Dataset, November, 2022
Dagstuhl Reports, October, 2022
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020.
Int. J. Softw. Tools Technol. Transf., 2022
J. Artif. Intell. Res., 2022
Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses.
CoRR, 2022
Proceedings of the Tests and Proofs - 16th International Conference, 2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022
Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11, 2022
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022
2021
Proceedings of the Handbook of Satisfiability - Second Edition, 2021
Proceedings of the Handbook of Satisfiability - Second Edition, 2021
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Proceedings of the Formal Methods in Computer Aided Design, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
Proceedings of the Automated Deduction - CADE 28, 2021
2020
J. Autom. Reason., 2020
Formal Methods Syst. Des., 2020
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020
Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App.
Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020
Proceedings of the 12th International Conference on Computer Supported Education, 2020
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020
Proceedings of the Computer Algebra in Scientific Computing - 22nd International Workshop, 2020
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
2019
Proceedings of the Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019
Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019
Proceedings of the Formal Methods and Software Engineering, 2019
Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting.
Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019
Proceedings of the Formal Techniques for Safety-Critical Systems, 2019
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019
Proceedings of the Automated Technology for Verification and Analysis, 2019
2018
Log. Methods Comput. Sci., 2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018
Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018
2017
Formal Methods Syst. Des., 2017
Proceedings of the Tests and Proofs - 11th International Conference, 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017
Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Hardware and Software: Verification and Testing, 2017
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017
Proceedings of the Automated Deduction - CADE 26, 2017
2016
Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
2015
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015
Proceedings of the 8th IEEE International Conference on Software Testing, 2015
Proceedings of the Formal Methods in Computer-Aided Design, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Hardware Model Checking Competition 2014: An Analysis and Comparison of Solvers and Benchmarks.
J. Satisf. Boolean Model. Comput., 2014
Proceedings of the POS-14. Fifth Pragmatics of SAT workshop, 2014
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014
Lingeling Essentials, A Tutorial on Design and Implementation Aspects of the the SAT Solver Lingeling.
Proceedings of the POS-14. Fifth Pragmatics of SAT workshop, 2014
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014
Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014
Proceedings of the Human-Inspired Computing and Its Applications, 2014
On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic.
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014
Proceedings of the Formal Methods in Computer-Aided Design, 2014
Proceedings of the Formal Methods in Computer-Aided Design, 2014
Proceedings of the Formal Methods in Computer-Aided Design, 2014
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014
Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014, 2014
2013
Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis, 2013
Proceedings of the Tests and Proofs - 7th International Conference, 2013
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013
Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures.
Proceedings of the POS-13. Fourth Pragmatics of SAT workshop, 2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Proceedings of the Hardware and Software: Verification and Testing, 2013
Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding.
Proceedings of the Computer Science - Theory and Applications, 2013
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013
Proceedings of the Automated Deduction - CADE-24, 2013
Proceedings of the Automated Technology for Verification and Analysis, 2013
2012
Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012
Proceedings of the 16th International Software Product Line Conference, 2012
Proceedings of the Software Language Engineering, 5th International Conference, 2012
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
Proceedings of the Hardware and Software: Verification and Testing, 2012
Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012
Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012
Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012
2011
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011
Proceedings of the Hardware and Software: Verification and Testing, 2011
Proceedings of the Hardware and Software: Verification and Testing, 2011
Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011
2010
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010
Proceedings of the Theory and Applications of Satisfiability Testing, 2010
Proceedings of the Theory and Applications of Satisfiability Testing, 2010
Proceedings of the Theory and Applications of Satisfiability Testing, 2010
Proceedings of the Short papers for 17th International Conference on Logic for Programming, 2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
2009
J. Satisf. Boolean Model. Comput., 2009
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009
Proceedings of the Theory and Applications of Satisfiability Testing, 2009
Proceedings of the Theory and Applications of Satisfiability Testing, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Computer Aided Systems Theory, 2009
2008
Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers.
Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2008
Proceedings of the Theory and Applications of Satisfiability Testing, 2008
Proceedings of the Theory and Applications of Satisfiability Testing, 2008
Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver.
Proceedings of the Formal Methods in Computer-Aided Design, 2008
Proceedings of the Algebraic Biology, Third International Conference, 2008
2007
Proceedings of the Theory and Applications of Satisfiability Testing, 2007
Proceedings of the Computer Aided Systems Theory, 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
2006
J. Satisf. Boolean Model. Comput., 2006
Proceedings of the Fourth International Workshop on Bounded Model Checking, 2006
Proceedings of the Theory and Applications of Satisfiability Testing, 2006
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006
Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006
Proceedings of the FM 2006: Formal Methods, 2006
Proceedings of the Computer Science, 2006
2005
Int. J. Softw. Tools Technol. Transf., 2005
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, 2005
Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis.
Proceedings of the First Workshop on Bytecode Semantics, 2005
Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005
Proceedings of the Verification, 2005
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Proceedings of the Theory and Applications of Satisfiability Testing, 2005
2004
Int. J. Softw. Tools Technol. Transf., 2004
Proceedings of the Fourth Workshop on Runtime Verification, 2004
Proceedings of the 2nd International Workshop on Bounded Model Checking, 2004
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004
2003
Formal Aspects Comput., 2003
Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003
Discret. Appl. Math., 2003
2002
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function.
Formal Methods Syst. Des., 2002
Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002
Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002
2001
Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001
2000
Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000
1999
Proceedings of the First International Workshop on Symbolic Model Checking, 1999
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999
Proceedings of the 36th Conference on Design Automation, 1999
Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999
Multiple State and Single State Tableaux for Combining Local and Global Model Checking.
Proceedings of the Correct System Design, 1999
1998
Proceedings of the Formal Methods in Computer-Aided Design, 1998
Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification.
Proceedings of the Formal Methods in Computer-Aided Design, 1998
1997
Proceedings of the Computer Aided Verification, 9th International Conference, 1997
PhD thesis, 1997