Armin Biere

Cited by

	All	Since 2018
Citations	22388	8072
h-index	61	42
i10-index	177	128

1700

850

425

1275

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202359 106 160 204 326 377 475 523 576 722 772 864 900 1056 1238 1384 1256 1476 1424 1376 1458 1574 1638 1537 486

Public access

View all

93 articles

0 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 CimattiFondazione 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
Andreas FröhlichJKU LinzVerified email at jku.at
Florian LonsingVerified email at florianlonsing.com
Matti JärvisaloProfessor, University of HelsinkiVerified email at helsinki.fi
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
Benjamin Kiesl-ReiterAmazon Web ServicesVerified email at amazon.de
Mathias FleuryUniversity FreiburgVerified email at informatik.uni-freiburg.de
Daniela KaufmannTU WienVerified email at tuwien.ac.at
Gergely KovásznaiEszterhazy Karoly UniversityVerified email at aries.ektf.hu
Manuel KauersJohannes Kepler University, Linz, AustriaVerified email at kauers.de
Daniel KroeningAmazonVerified email at amazon.com
Carsten SinzKarlsruhe Institute of Technology (KIT)Verified email at kit.edu

Armin Biere

Professor of Computer Science, University of Freiburg

Verified email at informatik.uni-freiburg.de - 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 Tools and Algorithms for the Construction and Analysis of Systems: 5th …, 1999	3302	1999
Handbook of satisfiability A Biere, M Heule, H van Maaren IOS press, 2009	2462	2009
Bounded Model Checking. A Biere Handbook of satisfiability 185, 457-481, 2009	1579	2009
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	1046	1999
Bounded model checking using satisfiability solving E Clarke, A Biere, R Raimi, Y Zhu Formal methods in system design 19, 7-34, 2001	1036	2001
Effective preprocessing in SAT through variable and clause elimination N Eén, A Biere SAT 3569, 61-75, 2005	904	2005
PicoSAT essentials A Biere Journal on Satisfiability, Boolean Modeling and Computation 4 (2-4), 75-97, 2008	648	2008
Boolector: An efficient SMT solver for bit-vectors and arrays R Brummayer, A Biere Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009	528	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, 156-173, 2005	396	2005
Resolve and expand A Biere Theory and Applications of Satisfiability Testing: 7th International …, 2005	361	2005
Lingeling, plingeling and treengeling entering the sat competition 2013 A Biere Proceedings of SAT competition 2013, 1, 2013	280	2013
High‐level data races C Artho, K Havelund, A Biere Software Testing, Verification and Reliability 13 (4), 207-227, 2003	263	2003
Inprocessing rules M Järvisalo, MJH Heule, A Biere Automated Reasoning: 6th International Joint Conference, IJCAR 2012 …, 2012	240	2012
Linear encodings of bounded LTL model checking A Biere, K Heljanko, T Junttila, T Latvala, V Schuppan arXiv preprint cs/0611029, 2006	234	2006
Verifying safety properties of a PowerPC− microprocessor using symbolic model checking without BDDs A Biere, E Clarke, R Raimi, Y Zhu Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999	228	1999
Lingeling, plingeling, picosat and precosat at sat race 2010 A Biere	227	2010
Liveness checking as safety checking A Biere, C Artho, V Schuppan Electronic Notes in Theoretical Computer Science 66 (2), 160-177, 2002	220	2002
CaDiCaL, kissat, paracooba, plingeling and treengeling entering the SAT competition 2020 A Biere, K Fazekas, M Fleury, M Heisinger SAT COMPETITION 50, 2020, 2020	202	2020
Boolector 2.0 A Niemetz, M Preiner, A Biere Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 53-58, 2014	190	2014
Cube and conquer: Guiding CDCL SAT solvers by lookaheads MJH Heule, O Kullmann, S Wieringa, A Biere Hardware and Software: Verification and Testing: 7th International Haifa …, 2012	188	2012

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

Follow

Cited by

Co-authors