Armin Biere

Cited by

	All	Since 2016
Citations	18600	7427
h-index	56	38
i10-index	167	126

1500

750

375

1125

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202155 104 135 196 337 402 505 535 601 707 756 879 904 1007 1213 1335 1229 1450 1390 1343 1417 1485 334

Public access

View all

74 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Yunshan ZhueK12, Inc.Verified email at eK12.com
Alessandro CimattiHead of Unit, Fondazione Bruno KesslerVerified email at fbk.eu
Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.at
Cyrille ArthoKTH Royal Institute of Technology, SwedenVerified email at kth.se
Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.ac.il
Matti JärvisaloAssociate Professor, University of HelsinkiVerified email at helsinki.fi
Florian LonsingComputer Science Department, Stanford UniversityVerified email at cs.stanford.edu
Andreas FröhlichJKU LinzVerified email at jku.at
Aina NiemetzStanford UniversityVerified email at cs.stanford.edu
Mathias PreinerStanford UniversityVerified email at cs.stanford.edu
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiVerified email at helsinki.fi
Toby WalshProfessor, UNSW and Data61Verified email at cse.unsw.edu.au
Gergely Kovásznaiassociate professor, Institute of Mathematics and Informatics, Eszterhazy Karoly UniversityVerified email at aries.ektf.hu
Benjamin KieslSAP SEVerified email at sap.com
Daniel KroeningAmazonVerified email at amazon.com
Manuel KauersJohannes Kepler University, Linz, AustriaVerified email at kauers.de
Carsten SinzKarlsruhe Institute of Technology (KIT)Verified email at kit.edu
Tommi JunttilaAalto UniversityVerified email at aalto.fi

Armin Biere

Johannes Kepler University Linz

Verified email at jku.at - Homepage

Satisfiability Formal Verification Model Checking Testing Debugging


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Symbolic model checking without BDDs A Biere, A Cimatti, E Clarke, Y Zhu International conference on tools and algorithms for the construction and …, 1999	2989	1999
Handbook of satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185 A Biere, M Heule, H van Maaren, T Walsh ios Press, 2009	1959*	2009
Bounded model checking A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu Carnegie Mellon University, 2003	1105	2003
Symbolic model checking using SAT procedures instead of BDDs A Biere, A Cimatti, EM Clarke, M Fujita, Y Zhu Proceedings of the 36th annual ACM/IEEE design automation conference, 317-320, 1999	966	1999
Bounded model checking using satisfiability solving E Clarke, A Biere, R Raimi, Y Zhu Formal methods in system design 19 (1), 7-34, 2001	885	2001
Effective preprocessing in SAT through variable and clause elimination N Eén, A Biere International conference on theory and applications of satisfiability …, 2005	807	2005
PicoSAT essentials A Biere Journal on Satisfiability, Boolean Modeling and Computation 4 (2-4), 75-97, 2008	563	2008
Boolector: An efficient SMT solver for bit-vectors and arrays R Brummayer, A Biere International Conference on Tools and Algorithms for the Construction and …, 2009	450	2009
A survey of recent advances in SAT-based formal verification MR Prasad, A Biere, A Gupta International Journal on Software Tools for Technology Transfer 7 (2), 156-173, 2005	368	2005
Resolve and expand A Biere International conference on theory and applications of satisfiability …, 2004	336	2004
High‐level data races C Artho, K Havelund, A Biere Software Testing, Verification and Reliability 13 (4), 207-227, 2003	246	2003
Lingeling, plingeling and treengeling entering the sat competition 2013 A Biere Proceedings of SAT competition 2013, 1, 2013	244	2013
Verifying safety properties of a PowerPC− microprocessor using symbolic model checking without BDDs A Biere, E Clarke, R Raimi, Y Zhu International Conference on Computer Aided Verification, 60-71, 1999	207	1999
Inprocessing rules M Järvisalo, MJH Heule, A Biere International Joint Conference on Automated Reasoning, 355-370, 2012	195	2012
Liveness checking as safety checking A Biere, C Artho, V Schuppan Electronic Notes in Theoretical Computer Science 66 (2), 160-177, 2002	195	2002
Lingeling, plingeling, picosat and precosat at sat race 2010 A Biere FMV Report Series Technical Report 10 (1), 2010	194	2010
Linear encodings of bounded LTL model checking A Biere, K Heljanko, T Junttila, T Latvala, V Schuppan arXiv preprint cs/0611029, 2006	187	2006
Bounded Model Checking. A Biere Handbook of satisfiability 185, 457-481, 2009	173	2009
DepQBF: A dependency-aware QBF solver F Lonsing, A Biere Journal on Satisfiability, Boolean Modeling and Computation 7 (2-3), 71-76, 2010	161	2010
Cube and conquer: Guiding CDCL SAT solvers by lookaheads MJH Heule, O Kullmann, S Wieringa, A Biere Haifa Verification Conference, 50-65, 2011	145	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors