Armin Biere

Citeret af

	Alle	Siden 2020
Henvisninger	25766	8548
h-index	66	41
i10-indeks	203	142

1800

900

450

1350

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025110 145 218 347 399 507 534 608 736 766 878 932 1043 1246 1397 1237 1493 1411 1373 1459 1609 1699 1568 1701 1767 191

Offentlig adgang

Se alle

108 artikler

0 artikler

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerificeret mail på cs.cmu.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerificeret mail på cs.cmu.edu
Yunshan ZhueK12, Inc.Verificeret mail på eK12.com
Alessandro CimattiFondazione Bruno KesslerVerificeret mail på fbk.eu
Martina SeidlUniv.-Prof., JKU LinzVerificeret mail på jku.at
Cyrille ArthoKTH Royal Institute of Technology, SwedenVerificeret mail på kth.se
Mathias FleuryUniversity FreiburgVerificeret mail på informatik.uni-freiburg.de
Andreas FröhlichJKU LinzVerificeret mail på jku.at
Aina NiemetzStanford UniversityVerificeret mail på cs.stanford.edu
Mathias PreinerStanford UniversityVerificeret mail på cs.stanford.edu
Florian LonsingUnaffiliatedVerificeret mail på florianlonsing.com
Matti JärvisaloProfessor of Computer Science, University of HelsinkiVerificeret mail på helsinki.fi
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiVerificeret mail på helsinki.fi
Benjamin Kiesl-ReiterAmazon Web ServicesVerificeret mail på amazon.de
Nils FroleyksJohannes Kepler University, Linz, AustriaVerificeret mail på jku.at
Daniela KaufmannTU WienVerificeret mail på tuwien.ac.at
Katalin FazekasPostdoc, TU WienVerificeret mail på tuwien.ac.at
Manuel KauersJohannes Kepler University, Linz, AustriaVerificeret mail på kauers.de
Gergely KovásznaiEszterhazy Karoly Catholic UniversityVerificeret mail på aries.ektf.hu
Daniel KroeningAmazonVerificeret mail på amazon.com

Følg

Armin Biere

Professor of Computer Science, University of Freiburg

Verificeret mail på informatik.uni-freiburg.de - Startside

Satisfiability Automated Reasoning Formal Verification Model Checking Debugging


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
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	3514	1999
Handbook of satisfiability A Biere, M Heule, H van Maaren, T Walsh IOS press, 2009	2941	2009
Bounded model checking A Biere handbook of Satisfiability, 739-764, 2021	1754	2021
Bounded model checking using satisfiability solving E Clarke, A Biere, R Raimi, Y Zhu Formal methods in system design 19, 7-34, 2001	1140	2001
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	1084	1999
Effective preprocessing in SAT through variable and clause elimination N Eén, A Biere International conference on theory and applications of satisfiability …, 2005	962	2005
PicoSAT essentials A Biere Journal on Satisfiability, Boolean Modeling and Computation 4 (2-4), 75-97, 2008	702	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	572	2009
CaDiCaL, kissat, paracooba, plingeling and treengeling entering the SAT competition 2020 A Biere, K Fazekas, M Fleury, M Heisinger SAT COMPETITION 50, 2020, 2020	434	2020
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	425	2005
Resolve and expand A Biere International conference on theory and applications of satisfiability …, 2004	374	2004
Lingeling, plingeling and treengeling entering the sat competition 2013 A Biere Proceedings of SAT competition 2013, 1, 2013	303	2013
Inprocessing rules M Järvisalo, MJH Heule, A Biere International Joint Conference on Automated Reasoning, 355-370, 2012	295	2012
High‐level data races C Artho, K Havelund, A Biere Software Testing, Verification and Reliability 13 (4), 207-227, 2003	265	2003
Linear encodings of bounded LTL model checking A Biere, K Heljanko, T Junttila, T Latvala, V Schuppan Logical Methods in Computer Science 2, 2006	253	2006
Cube and conquer: Guiding CDCL SAT solvers by lookaheads MJH Heule, O Kullmann, S Wieringa, A Biere Haifa Verification Conference, 50-65, 2011	242	2011
Liveness checking as safety checking A Biere, C Artho, V Schuppan Electronic Notes in Theoretical Computer Science 66 (2), 160-177, 2002	242	2002
Lingeling, plingeling, picosat and precosat at sat race 2010 A Biere	238	2010
Boolector 2.0 A Niemetz, M Preiner, A Biere Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 53-58, 2014	236	2014
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	225	1999

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere