Armin Biere

1. Blocked Clauses in First-Order Logic
   2017/02/02 by Benjamin Kiesl, Martin Suda, Kiesl, Benjamin +7 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
2. Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses
   2022/07/27 by Mathias Fleury, Armin Biere, Fleury, Mathias +1 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Model-Driven Software Engineering Techniques
3. Certifying Phase Abstraction
   2024/05/07 by Nils Froleyks, Froleyks, Nils, Emily Yu +5 · 2 citations
   Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Radiation Effects in Electronics #Safety Systems Engineering in Autonomy #Symbolic Computation (cs.SC)
4. Bounded Model Checking Using Satisfiability Solving
   2001/07/01 by Edmund Clarke, Edmund M. Clarke, Armin Biere +2 · 2 citations
   Computer Science · #Formal Methods in Verification #Software Reliability and Analysis Research #Software Testing and Debugging Techniques