Armin Biere

Computational Theory and Mathematics · 2001–2009

A researcher in the Science corpus: 8 papers; trusts 14 researchers and is trusted by 46 researchers here, as inferred from the citation graph.

Subfields

• Computational Theory and Mathematics — 51 citations into it; #733 of 12,182 by trust here, #2,761 by citations
• Artificial Intelligence — 36 citations into it; #6,472 of 35,345 by trust here, #18,186 by citations
• Software — 23 citations into it; #184 of 1,227 by trust here, #674 by citations
• Computer Networks and Communications — 14 citations into it; #1,920 of 9,886 by trust here, #5,133 by citations
• Electrical and Electronic Engineering — 6 citations into it
• Hardware and Architecture — 6 citations into it

Whom Armin Biere trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Matthew W. Moskewicz
2. Kenneth L. McMillan
3. Niklas Eén
4. Lintao Zhang
5. Paul Beame
6. Sharad Malik
7. Niklas Sörensson
8. Joao Marques-Silva
9. Robert Nieuwenhuis
10. Volker Haarslev

Who trusts Armin Biere overall

1. Martin Gebser
2. Adam Kiezun
3. Antti Hyttinen
4. Martin Leucker
5. Daniel Le Berre
6. Horst Samulowitz
7. Bernd Finkbeiner
8. Robert Brummayer
9. Benjamin Kaufmann
10. Nathan Wetzler

Papers from Armin Biere's perspective

Ordered by how strongly the researchers Armin Biere trusts endorse each paper. Same corpus, a different order for every researcher.

1. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
2. A machine program for theorem-proving (CACM)
3. A Structure-Preserving Clause Form Translation
4. GRASP: A Search Algorithm for Propositional Satisfiability
5. BerkMin: A fast and robust SAT-solver (Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition)
6. Checking Safety Properties Using Induction and a SAT-Solver (Formal Methods in Computer-Aided Design)
7. Cha : Engineering an e cient SAT solver (Design Automation Conference)
8. Validating SAT solvers using an independent resolution-based checker: practical implementations and other applications (2003 Design, Automation and Test in Europe Conference and Exhibition)
9. RACER System Description (International Joint Conference on Automated Reasoning)
10. ImageNet classification with deep convolutional neural networks

Their papers

• Resolve and Expand (2004) — 296 citations
• Effective Preprocessing in SAT Through Variable and Clause Elimination (2005) — 746 citations
• Bounded Model Checking Using Satisfiability Solving (2001) — 865 citations
• Bounded model checking (2003) — 1,281 citations
• Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays (2009) — 426 citations
• Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications (2009) — 610 citations
• Handbook of satisfiability (2009) — 464 citations
• PicoSAT Essentials (2008) — 461 citations