Name Card

Full name Familienname, Vorname
Biere, Armin
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 32 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Froleyks-2023-BIG Backbones-vor.pdf.jpgFroleyks, Nils ; Yu, Emily ; Biere, Armin BIG BackbonesInproceedings Konferenzbeitrag Oct-2023
2Yu-2023-Towards Compositional Hardware Model Checking Certification-vor.pdf.jpgYu, Emily ; Froleyks, Nils ; Biere, Armin ; Heljanko, Keijo Towards Compositional Hardware Model Checking CertificationInproceedings Konferenzbeitrag Oct-2023
3Fazekas-2023-IPASIR-UP User Propagators for CDCL-vor.pdf.jpgFazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin IPASIR-UP: User Propagators for CDCLInproceedings Konferenzbeitrag 9-Aug-2023
4Kaufmann-2023-International Journal on Software Tools for Technology Tran...-vor.pdf.jpgKaufmann, Daniela ; Biere, Armin Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebraArticle Artikel Apr-2023
5Rath-2022-First-Order Subsumption via SAT Solving-vor.pdf.jpgRath, Jakob ; Biere, Armin ; Kovacs, Laura First-Order Subsumption via SAT SolvingKonferenzbeitrag Inproceedings Oct-2022
6Yu-2022-Stratified Certification for k-Induction-vor.pdf.jpgYu, Emily ; Froleyks, Nils ; Biere, Armin ; Heljanko, Keijo Stratified Certification for k-InductionKonferenzbeitrag Inproceedings Oct-2022
7Froleyks-2021-Single Clause Assumption without Activation Literals to Spe...-vor.pdf.jpgFroleyks, Nils ; Biere, Armin Single Clause Assumption without Activation Literals to Speed-up IC3Inproceedings Konferenzbeitrag Oct-2021
803_Tutorial on World_Level Model Checking.pdf.jpgBiere, Armin Tutorial on World-Level Model CheckingKonferenzbeitrag Inproceedings 2020
934_The Proof Checkers Pacheck and Past`eque for the Practical Algebraic Calculus.pdf.jpgKaufmann, Daniela ; Fleury, Mathias ; Biere, Armin The Proof Checkers Pacheck and Pastèque for the Practical Algebraic CalculusKonferenzbeitrag Inproceedings 2020
10Kiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin Local Redundancy in SAT: Generalizations of Blocked ClausesArtikel Article 2018
11Heule, Marijn J. H. ; Kiesl, Benjamin ; Biere, Armin Short Proofs Without New VariablesKonferenzbeitrag Inproceedings 2017
12Heule, Marijn J. H. ; Kiesl, Benjamin ; Seidl, Martina ; Biere, Armin PRuning Through SatisfactionKonferenzbeitrag Inproceedings 2017
13Kiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?Konferenzbeitrag Inproceedings 2017
14Kiesl Benjamin - 2017 - Blocked Clauses in First-Order Logic.pdf.jpgKiesl, Benjamin ; Suda, Martin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin Blocked Clauses in First-Order LogicInproceedings Konferenzbeitrag 2017
15Kiesl Benjamin - 2016 - Super-Blocked Clauses.pdf.jpgKiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin Super-Blocked ClausesInproceedings Konferenzbeitrag 2016
16Biere, Armin ; Kiesl, Benjamin ; Seidl, Martina ; Suda, Martin Blocked clauses in first-order logicPräsentation Presentation2016
17Lonsing, Florian ; Bacchus, Fahiem ; Biere, Armin ; Egly, Uwe ; Seidl, Martina Enhancing Search-Based QBF Solving by Dynamic Blocked Clause EliminationKonferenzbeitrag Inproceedings 2015
18Heule, Marijn ; Järvisalo, Matti ; Lonsing, Florian ; Seidl, Martina ; Biere, Armin Clause Elimination for SAT and QSATArtikel Article 2015
19Kovasznai, Gergely ; Fröhlich, Andreas ; Biere, Armin EPR Encodings of Bit-Vector Problems Even With QuantifiersPräsentation Presentation2014
20Biere, Armin ; Dragan, Ioan ; Kovács, Laura ; Voronkov, Andrei Experimenting with SAT Solvers in VampireKonferenzbeitrag Inproceedings2014

Contributing Publications Mitbeteiligte Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Samer, Marko ; Szeider, Stefan Chapter 17. Fixed-Parameter TractabilityBuchbeitrag Book Contribution 2021
2Vaczula Csaba - 2016 - The Hobel algorithm SAT Loesung mit GPU ueber DPLL.pdf.jpgVaczula, Csaba The Hobel algorithm : SAT Lösung mit GPU über DPLLThesis Hochschulschrift 2016
3Widl, Magdalena Test Case Generation by Grammar-based Fuzzing for Model-driven EngineeringKonferenzbeitrag Inproceedings2012