Biere, Armin

1. Blocked Clauses in First-Order Logic
   2017/02/02 by Kiesl, Benjamin, Suda, Martin, Seidl, Martina +2 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Stratified Certification for k-Induction
   2022/08/02 by Yu, Emily, Froleyks, Nils, Biere, Armin +1 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. Certifying Phase Abstraction
   2024/05/07 by Froleyks, Nils, Yu, Emily, Biere, Armin +1 · 2 citations
   #FOS: Computer and information sciences #Symbolic Computation (cs.SC)
4. Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses
   2022/07/27 by Mathias Fleury, Fleury, Mathias, Armin Biere +1 · 1 citation
   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