Armin Biere

Identifiers

• name variant Armin Biere 0.60 · backfill

Papers (7)

1. Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses cs.LO · 2024 · author #3
2. Disjoint Partial Enumeration without Blocking Clauses cs.LO · 2023 · author #3
3. Revisiting Decision Diagrams for SAT cs.LO · 2018 · author #3
4. Blocked Clauses in First-Order Logic cs.LO · 2017 · author #5
5. Concurrent Cube-and-Conquer cs.DS · 2014 · author #3
6. Covered Clause Elimination cs.LO · 2010 · author #3
7. Linear Encodings of Bounded LTL Model Checking cs.LO · 2006 · author #1

Mentions

• 1402.4465 #3 · backfill · confidence 0.70 Armin Biere
• 1011.5202 #3 · backfill · confidence 0.70 Armin Biere

Frequent Coauthors

• Giuseppe Spallitta 2 shared papers
• Roberto Sebastiani 2 shared papers
• Benjamin Kiesl 1 shared papers
• Hans Tompits 1 shared papers
• Keijo Heljanko 1 shared papers
• Marijn Heule 1 shared papers
• Marijn J.H. Heule 1 shared papers
• Martina Seidl 1 shared papers
• Martin Suda 1 shared papers
• Matti J\"arvisalo 1 shared papers
• Peter van der Tak 1 shared papers
• R\"udiger Ehlers 1 shared papers
• Timo Latvala 1 shared papers
• Tommi Junttila 1 shared papers
• Tom van Dijk 1 shared papers
• Viktor Schuppan 1 shared papers